My adventure with Elm

at Codemotion Rome 2015 on 3 Apr 2015

TDD as in Type-Directed Development

at LambdaCon - funtastic code and people on 1 Apr 2015

Closing keynote

at LambdaCon - funtastic code and people on 1 Apr 2015

Function composition for everything

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

Welcome keynote

at LambdaCon - funtastic code and people on 1 Apr 2015

Programming the superbrain: from atoms to non-Von Neumann architecture

at Codemotion Rome 2015 on 1 Apr 2015

Measuring Micro-services

at Codemotion Rome 2015 on 1 Apr 2015

Kotlin, the Swift of Android

at Codemotion Rome 2015 on 1 Apr 2015

View profile