- Equality proofs and deferred type errors, A compiler pearl [Vytiniotis, Peyton Jones,Magalhaes PDF] http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/icfp12.pdf 17 comments haskell
- Haskell was a statically typed language. Now you can have your type errors deferred to run-time, if you so desire. [PDF] http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/icfp12.pdf 87 comments programming
Linking pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:research.microsoft.com
Search title: Equality proofs and deferred type errors, A compiler pearl [Vytiniotis, Peyton Jones,Magalhaes PDF]
See how to search.