Faking It: Simulating Dependent Types in Haskell (2001)

Cached

Download Links

by Connor McBride
Citations:30 - 6 self

Document Versions

Faking It: Simulating Dependent Types in Haskell –Connor McBride — 2001