Brussels / 4 & 5 February 2023

schedule

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.


Links

Events

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