- A Specification for Dependently-typed Haskell (PDF) http://www.seas.upenn.edu/~sweirich/papers/systemd-submission.pdf 21 comments haskell
Linking pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:www.seas.upenn.edu
Search title: A Specification for Dependently-typed Haskell (PDF)
See how to search.