- Are type family dependencies from two or more types going to happen? http://lambda.jstolarek.com/2015/05/injective-type-families-for-haskell/ 5 comments haskell
- Coq’Art, CPDT and SF: a review of books on Coq proof assistant http://lambda.jstolarek.com/2016/06/coqart-cpdt-and-sf-a-review-of-books-on-coq-proof-assistant/ 3 comments coq
- Injective type families for Haskell http://lambda.jstolarek.com/2015/05/injective-type-families-for-haskell/ 11 comments haskell
- The basics of coinduction http://lambda.jstolarek.com/2015/03/the-basics-of-coinduction/ 9 comments haskell
- Weight-biased leftist heaps verified in Haskell using dependent types http://lambda.jstolarek.com/2014/10/weight-biased-leftist-heaps-verified-in-haskell-using-dependent-types/ 18 comments haskell
- Parallel Haskell challange (also, how to make your research project fail) http://lambda.jstolarek.com/2014/05/parallel-haskell-challange-also-how-to-make-your-research-project-fail/ 13 comments haskell
- Cmm pipeline woes (Cmm is low level representation used by GHC) http://lambda.jstolarek.com/2013/10/cmm-pipeline-woes/ 5 comments haskell
- Yet Another Lambda Blog » Haskell as fast as C: A case study http://lambda.jstolarek.com/2013/04/haskell-as-fast-as-c-a-case-study/ 25 comments haskell