Los Angeles, Remote or local, Contract Stack: Haskell, C#, F#, Java, Scala, Javascript, TypeScript GitHub: http://github.com/paf31 http://github.com/paf31, ht

Los Angeles, Remote or local, Contract Stack: Haskell, C#, F#, Java, Scala, Javascript, TypeScript GitHub: http://github.com/paf31 http://github.com/paf31, http://github.com/purescript http://github.com/purescript Specialties: Domain specific languages (DSLs), Compiler implementation, Framework implementation, Statistics, Geometry Resume/Blog: http://functorial.com http://functorial.com Contact: my username at cantab dot net Experienced developer with a strong background in Mathematics looking for small to medium projects (approx. 20 hrs/week). I enjoy writing reliable code in strongly typed functional languages, or using the techniques of strongly-typed functional programming in other languages. Contact me if you're interested in using those techniques to write verifiably correct code.