Extracting the power of dependent types.

Artjoms Sinkarovs, Jesper Cockx

Browse the full GPCE paper archive.