Dependent Types in Practical Programming.

Hongwei Xi, Frank Pfenning

Browse the full POPL paper archive.