Lobsters
- Statically Sized Higher-kinded Polymorphism http://blog.ielliott.io/sized-hkts/ 12 comments plt
- Lambdas are Codatatypes http://blog.ielliott.io/lambdas-are-codatatypes/ 3 comments plt
- On Programming Language Design http://blog.ielliott.io/on-programming-language-design/ 16 comments plt
- Statically Sized Higher-kinded Polymorphism http://blog.ielliott.io/sized-hkts/ 25 comments rust
- Turning bottom-up into top-down with Reverse State http://blog.ielliott.io/topsy-turvy-reverse-state/ 3 comments haskell
- Comonad Transformers in the Wild http://blog.ielliott.io/comonad-transformers-in-the-wild/ 7 comments haskell
- Why LINQ (well, C#) is Broken http://blog.ielliott.io/why-linq-is-broken/ 29 comments haskell
- Continuations From the Ground Up http://blog.ielliott.io/continuations-from-the-ground-up/ 10 comments haskell