Faking it: Simulating Dependent Types in Haskell (0)

by C McBride
Venue:Journal of Functional Programming