👥 1 conference
🎤 1 talk
📅 Years active: 2023 to 2023
David is the Executive Director of the Haskell Foundation. He has worked with Haskell and functional programming in both academia and industry, and was a major contributor to the first version of Idris and its Emacs mode. Together with Daniel P. Friedman, he wrote The Little Typer, an introduction to dependent type theory, and he is currently working on Functional Programming in Lean, an introduction to writing programs in Lean 4.
1 known conferences