33:15[Onward!] The Principles of the Flix Programming LanguageACM SIGPLANRecommended by 3 • 3 years agoHidden gem
24:13Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)ACM SIGPLANRecommended by 2 • 6 years agoHidden gem
18:23LoCal: A Language for Programs Operating on Serialized DataACM SIGPLANRecommended by 2 • 7 years agoClassic
7:59:57[ICFP'24] Green - ICFP Papers and Events (Sep 5th)ACM SIGPLANRecommended by 1 • 2 years agoRecent pick
42:20Haskell 2021 - Evaluating Linear Functions to Symmetric Monoidal CategoriesACM SIGPLANRecommended by 2 • 5 years agoHidden gem
53:16Ask Me Anything with Richard Gabriel, hosted by Stephen KellACM SIGPLANRecommended by 2 • 6 years agoHidden gem
8:05:13[ICFP'24] Green - ICFP Papers and Events (Sep 4th)ACM SIGPLANRecommended by 2 • 2 years agoHidden gem
21:50[POPL'25] Maximal Simplification of Polyhedral ReductionsACM SIGPLANRecommended by 2 • 1 year agoHidden gem
25:21[HIW'22] Compiling Mu with GHC: Halfway Down the Rabbit HoleACM SIGPLANRecommended by 2 • 4 years agoHidden gem
30:41[PADL'23] Embedding Functional Logic Programming in Haskell via a Compiler PluginACM SIGPLANRecommended by 2 • 3 years agoHidden gem
48:31Using STM for Modular Concurrency: An Industrial Experience Report on Software Transactional MemoryACM SIGPLANRecommended by 2 • 6 years agoHidden gem
20:18A Low-Latency Garbage Collector for GHC (Demo) Haskell 2020ACM SIGPLANRecommended by 1 • 6 years ago
22:49Eliminating Bugs with Dependent Haskell (Experience Report)ACM SIGPLANRecommended by 1 • 6 years ago
1:06:07[POPL 2021] CoqPL: Verifying a compiler through equational meansACM SIGPLANRecommended by 1 • 5 years ago
46:54[Haskell'22] Industrial Strength Laziness: What's Next?ACM SIGPLANRecommended by 2 • 4 years agoHidden gem
