MuniHac 2022 - Cass Alexandru: Structured Traversals for (Mutually) Recursive Algebraic Data Types
MuniHac 2022 - Saturday, October 8 - Michael Sperber: How to Deep Learn with Categories
MuniHac 2022 - Sunday, October 9 - Nicolas Wu: Modular Programming with Effects
MuniHac 2022 - Friday, October 7 - Joachim Breitner: Getting recursive definitions off their bottoms
MuniHac 2022 - Saturday, October 8 - Krzysztof Gogolewski: Quines and metaprogramming
MuniHac 2022 - Friday, October 7 - Gabriella Gonzalez: Minmaxing Slay the Spire with Haskell
MuniHac 2022 - Friday, October 7 - Michał J. Gajda: Mathematics of debugging a Haskell program
MuniHac 2022 - Saturday, October 8 - Ben Gamari: Improvements in observability in GHC 9.6
Big Techday 23 & MuniHac 2023: Haskell at the Heart of Terabit Laser Communication [EN] - C. Baaij
MuniHac 2020: Neil Mitchell - Migrating HLint to the GHC API
MuniHac 2020 Workshop: Michael Sperber - Control your Effects
MuniHac 2020: Nicolas Wu - Persistence makes a Difference
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
MuniHac 2020: Edsko de Vries - Being lazy without being bloated
MuniHac 2020: Duncan Coutts - Contravariant Logging: How to add logging without getting grumpy
MuniHac 2020: Richard Eisenberg - Partial Type Constructors
MuniHac 2020 Workshop: Christiaan Baaij - Building a RISC-V SoC with Haskell and Python
Inter-University Centre Dubrovnik - Logic and Applications - LAP 2021 (20 - 24 September 2021)
BOB 2022 Joachim Breitner - Specification-driven design
MuniHac 2020: Lars Brünjes - This ain't your Daddy's Probability Monad
![Big Techday 23 & MuniHac 2023: Haskell at the Heart of Terabit Laser Communication [EN] - C. Baaij](https://img.youtube.com/vi/sruXs0GydE0/0.jpg)
