TDD as in Type-Directed Development

at LambdaCon - funtastic code and people on 1 Apr 2015

Rust now and then

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

Generic polymorphism on steroids

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