Toggle navigation
Home
Talks
λΠ PLT
Radar
About
Talks
Testing Properties with QuickCheck
Lightning talk, Brisbane Software Testing Meetup, Sep 2015
Conquer Cabal Hell with Nix
Brisbane Functional Programming Group, Jun 2015
Haskell Tooling Whirlwind
Lightning talk, LambdaJam, May 2015
From Commodore 64 to the Cloud — Lessons from 30 years of programming
Invited talk, Oracle, Jun 2014
How we got here—the genesis of enlightened programming languages
The future of programming is dependently-typed
JavaScript solution
Nix—One package system to rule them all!
Lambda the Ultimate Index
