- Haskell for Coq programmers http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/ 13 comments haskell
Linked pages
- OCaml for Haskellers : ezyang’s blog http://blog.ezyang.com/2010/10/ocaml-for-haskellers/ 33 comments
- Polarity in Type Theory | Existential Type http://existentialtype.wordpress.com/2012/08/25/polarity-in-type-theory/ 31 comments
- https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf 8 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:blog.ezyang.com
Search title: Haskell for Coq programmers : ezyang’s blog
See how to search.