- Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming [pdf] https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf 8 comments haskell
Linking pages
- Haskell for Coq programmers : ezyang’s blog http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/ 13 comments
- GitHub - gasche/icfp2013-papers: List of ICFP'13 accepted papers, with links to preprint or additional information when available https://github.com/gasche/icfp2013-papers#readme 9 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:personal.cis.strath.ac.uk
Search title: Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming [pdf]
See how to search.