Faking It (Simulating Dependent Types in Haskell (2002)

by C McBride
Venue:Journal of Functional Programming