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 |