conferences | speakers | series

David Thrane Christiansen

👥 1 conference
🎤 1 talk
📅 Years active: 2023 to 2023

Biography

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.

— biography from FOSDEM 2023
https://archive.fosdem.org/2023/schedule/speaker/david_thrane_christiansen/

Conferences

1 known conferences

👥 FOSDEM 2023 📅 04 Feb 2023

  ðŸŽ¤ Open-Source Opportunities with the Haskell Foundation
   05 Feb 2023 show details