TDD as in Type-Directed Development

at LambdaCon - funtastic code and people on 1 Apr 2015

The Actor Model in F# and Akka.NET

at LambdaCon - funtastic code and people on 1 Apr 2015

Using Haskell professionally

at LambdaCon - funtastic code and people on 1 Apr 2015

Programming with algebras

at LambdaCon - funtastic code and people on 1 Apr 2015

It's the type theory baby!

at LambdaCon - funtastic code and people on 1 Apr 2015

Opening keynote - Fun with categories

at LambdaCon - funtastic code and people on 1 Apr 2015

View profile