#52 Why is Haskell so special - Lennart Augustsson
From Type Theory Forall by Pedro Abreu
July 10, 2025 · 1h 31m
About this episode
Lennart Augustsson discusses his contributions to Haskell and functional programming over the past four decades.
People in this episode
Host: Pedro Abreu
Guest: Lennart Augustsson
Topics covered
- Haskell
- functional programming
- type theory
- lazy evaluation
- programming languages
- industry applications
Keywords
- Haskell
- functional programming
- type theory
- lazy evaluation
- programming languages
- Lennart Augustsson
- Bluespec
- Verse
Mentioned in this episode
Organizations: Credit Suisse, Facebook, Google, Epic Games
Books & works: Lazy ML, A Compiler for LML, HBC, Bluespec, Verse
More episodes of Type Theory Forall
- #61 Zurihac Behind the Scenes - Farhad Mehta · April 16, 2026 · 2h 19m
- #60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan · March 25, 2026 · 1h 53m
- #59 Category Theory and Inclusivity - Valeria de Paiva · January 28, 2026 · 2h 47m
- #58 Constructivism and Computational Content - Andrej Bauer · December 16, 2025 · 2h 19m
- #57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik · December 6, 2025 · 59 min
- #56 Property Based Testing and PL Grad School Applications - Francille Zhuang · November 17, 2025 · 1h 36m
Explore listener stats, chart rankings, contacts and more on the Type Theory Forall podcast page.