Media Summary: Retrofitting Concurrency – Lessons from the Engine Room (Keynote,
Retrofitting Concurrency – Lessons from the Engine Room (Keynote,
![[ICFP'22] Monadic Compiler Calculation (Functional Pearl)](https://i.ytimg.com/vi/fjsbxVxWJ1o/mqdefault.jpg)
Monadic Compiler Calculation
![[ICFP'23] Calculating Compilers for Concurrency](https://i.ytimg.com/vi/iOjoUHorufQ/mqdefault.jpg)
Calculating Compilers
Calculating
![[ICFP'22] Flexible Presentations of Graded Monads](https://i.ytimg.com/vi/Cx8OdFw0dSc/mqdefault.jpg)
Flexible Presentations of Graded
![[ICFP'22] Formal Reasoning about Layered Monadic Interpreters](https://i.ytimg.com/vi/w3inqhQf_MA/mqdefault.jpg)
Formal Reasoning about Layered
![[Haskell24] Calculating Compilers Effectively](https://i.ytimg.com/vi/_sBgDzW-F0s/mqdefault.jpg)
Calculating Compilers
![[ICFP'22] Retrofitting Concurrency – Lessons from the Engine Room](https://i.ytimg.com/vi/zJ4G0TKwzVc/mqdefault.jpg)
Retrofitting Concurrency – Lessons from the Engine Room (Keynote,
More info about this talk: https://icfp20.sigplan.org/details/
https://icfp20.sigplan.org/details/haskellsymp-2020-papers/12/A-Graded-
![[ICFP'22] Multi Types and Reasonable Space](https://i.ytimg.com/vi/N_kC2jlJeU4/mqdefault.jpg)
Multi Types and Reasonable Space (Video,
More info about this talk: https://icfp20.sigplan.org/details/
![[ICFP24] Abstract Interpreters: a Monadic Approach to Modular Verification](https://i.ytimg.com/vi/Tzry-0K_hvQ/mqdefault.jpg)
Abstract Interpreters: A
![[ICFP'24] Orange 3 - Haskell (Sep 7th)](https://i.ytimg.com/vi/uMurx1a6Zck/mqdefault.jpg)
Full Program: https://icfp24.sigplan.org/home/haskellsymp-2024#program.