59:40[Haskell'22] Cause and Effect(s): Towards a More Programmable HaskellACM SIGPLAN942 viewsView & Download
26:39[Haskell'22] Eiger: Auditable, executable, flexible legal regulationsACM SIGPLAN364 viewsView & Download
36:13"Point-Free or Die: Tacit Programming in Haskell and Beyond" by Amar ShahStrange Loop Conference32.8K viewsView & Download
1:01:50Gabriel Gonzalez - Scrap Your Bounds Checks with Liquid Haskell (HaskellX 2017 Keynote)The Haskell Foundation198 viewsView & Download
12:37[HIW'22] Lightning Talk Slot #3: The Haskell Optimization HandbookACM SIGPLAN302 viewsView & Download