2017

ReactiveConf

Property-Based Testing for Godly Tests

2018

Programming Safely in an Uncertain World

This talk introduces Programming Language Foundations in Agda, a new textbook that is also an executable Agda script---and also explains the role Agda is playing in IOHK's new cryptocurrency.

2019

Full Stack Fest

(Programming Languages) in Agda = Programming (Languages in Agda)

2018 Hyderabad

ReactFoo

Presto – building cross platform transactional apps using functional programming

Haskell

Just added

Watch the best developer talks,
discover top conferences,
elevate your skills

It's free. Sign up with your Github/Twitter/Google/Email.

New talks

Just added

Watch the best developer talks,discover top conferences,elevate your skills

It's free. Sign up with your Github/Twitter/Google/Email.

New talks

Watch the best developer talks,
discover top conferences,
elevate your skills