Brussels / 4 & 5 February 2023


David Thrane Christiansen

Photo of David Thrane Christiansen

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.



Title Day Room Track Start End
Open-Source Opportunities with the Haskell Foundation Sunday H.1309 (Van Rijn) Haskell 16:25 16:55