CiteSeerX — Related by cluster: Faking It: Simulating Dependent Types in Haskell

Faking It: Simulating Dependent Types in Haskell (2001)

Cached

Download Links

[www.dur.ac.uk]

Other Repositories/Bibliography

DBLP

by Connor McBride

Citations:

25 - 5 self

Document Versions

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