MuniHac 2020: Richard Eisenberg - Partial Type Constructors
MuniHac 2020: Austin Huang – Hasktorch: Differenzierbare funktionale Programmierung in Haskell
MuniHac 2020: Andrew Lelechenko - Polynomials in Haskell
Write a GHC extension in 30 minutes by Richard Eisenberg
The Future of Programming with Richard Eisenberg
MuniHac 2020 Workshop: Michael Sperber - Control your Effects
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
MuniHac 2020 Workshop: Christiaan Baaij - Building a RISC-V SoC with Haskell and Python
MuniHac 2020: Duncan Coutts - Contravariant Logging: How to add logging without getting grumpy
MuniHac 2020: Jamie Willis - Exploring Parsley
Richard Eisenberg on Simplifying Constraint Solving in GHC
MuniHac 2020 Workshop: Manuel Bärenz - Video & Game Live Coding in Haskell
Richard Eisenberg – Parameters of Many Flavors
MuniHac 2020 Workshop: Pepe Iborra - Let's write a Haskell Language Server Plugin
MuniHac 2020: Nicolas Wu - Persistence makes a Difference
@rae: Why Haskell can't get rid of Proxy (yet)
MuniHac 2019: Fast Downward: Solving Declarative Planning problems in Haskell
MuniHac 2020: Tamar Christina - The new Windows I/O manager (WinIO) in GHC
Alexis King - “Effects for Less” @ ZuriHac 2020
[Haskell'22] Eiger: Auditable, executable, flexible legal regulations
![[Haskell'22] Eiger: Auditable, executable, flexible legal regulations](https://img.youtube.com/vi/HDw-eLfP0pg/0.jpg)