MuniHac 2020: Nicolas Wu - Persistence makes a Difference
MuniHac 2022 - Sunday, October 9 - Nicolas Wu: Modular Programming with Effects
Effective Programming
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
Staged Selective Parser Combinators (ICFP 2020)
MuniHac 2020: Richard Eisenberg - Partial Type Constructors
MuniHac 2020: Jamie Willis - Exploring Parsley
Reasoning about Effect Interaction by Fusion
IFL 2012. Nicolas Wu: Pure and Lazy Lambda Mining
MuniHac 2020: Tamar Christina - The new Windows I/O manager (WinIO) in GHC
God Doesn't Play Dice with the Digital World - BoB 2016
Signature restriction for polymorphic algebraic effects (ICFP 2020)
[PEPM'23] Towards a Reflection for Effect Handlers
[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness
Compiling Symbolic Execution with Staging and Algebraic Effects
Alexis King - “Effects for Less” @ ZuriHac 2020
[Haskell'22] Cause and Effect(s): Towards a More Programmable Haskell
ICFP'21 Tutorials - Teaching Functional Programming
[POPL'22] Staging with Class: A Specification for Typed Template Haskell
Haskell talks at Mercury - The Do Stack, by Rashad Gover
![[PEPM'23] Towards a Reflection for Effect Handlers](https://img.youtube.com/vi/XQ0fBRzXm-I/0.jpg)
![[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness](https://img.youtube.com/vi/c8VZp-3eQU0/0.jpg)
![[Haskell'22] Cause and Effect(s): Towards a More Programmable Haskell](https://img.youtube.com/vi/3WwYkqPctIQ/0.jpg)
![[POPL'22] Staging with Class: A Specification for Typed Template Haskell](https://img.youtube.com/vi/W6QfWAWe78U/0.jpg)
