LondonUnited Kingdom SW11 6RA
May 4, 2014
The Essence of the Iterator Pattern
I'm a Haskell fanatic, and very interested in moving as much as I can to the type level. As such, I'm very interested to extensions to type systems, and the fundamentals of type systems. Also interested in algebraic program construction.