Welcome keynote

at LambdaCon - funtastic code and people on 29 Mar 2015

Closing keynote

at LambdaCon - funtastic code and people on 29 Mar 2015

TDD as in Type-Directed Development

at LambdaCon - funtastic code and people on 29 Mar 2015

What’s wrong with OOP

at LambdaCon - funtastic code and people on 29 Mar 2015

Haskell for data science

at LambdaCon - funtastic code and people on 29 Mar 2015

Generic polymorphism on steroids

at LambdaCon - funtastic code and people on 29 Mar 2015

Programming with algebras

at LambdaCon - funtastic code and people on 29 Mar 2015

It's the type theory baby!

at LambdaCon - funtastic code and people on 29 Mar 2015

Opening keynote - Fun with categories

at LambdaCon - funtastic code and people on 29 Mar 2015

View profile