Faking it—simulating dependent types (2001)

by C McBride
Venue:in Haskell. http://www.dur.ac.uk/~dcs1ctm/faking.ps