Tree @
master
(
Download .tar.gz
)
..
commentary
Papers.md
README.md
Repositories.md
Webpages.md
Papers.md
@
master
—
view markup
·
raw
·
history
·
blame
Haskell Papers
Faking it
subtitle: Simulating dependent types in Haskell
authors: Conor McBride
date: 2002
topics: Type Systems, Haskell
online @
www.cambridge.org
.