1:10:06MuniHac 2025 - Saturday, September 13th - Andrew Lelechenko: Linear Haskell for string buildersTNG Technology Consulting GmbH420 viewsView & Download
1:03:34Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic languageCurry On!18.5K viewsView & Download
11:55@rae: Connecting linearity and relevance in Dependent HaskellTweag by Modus Create1.5K viewsView & Download
6:38Linear Types - Ivan Cukic - Meeting C++ Secret Lightning TalksMeeting Cpp2.4K viewsView & Download
48:35Ryan Orendorff & Daniel Hensley - Introduction to Linear Type Systems and Linear Haskell - λC 2018LambdaConf1.1K viewsView & Download
35:31A tour of linear types and linear base by Divesh OtwaniZürich Friends of Haskell2.8K viewsView & Download
19:40[Haskell'25] Four Years of Embedded Haskell in Critical Real-Time Systems: Lessons and InsightsACM SIGPLAN196 viewsView & Download
18:28Monads in Haskell | with Functors & Applicatives | #haskell #programmingBekBrace1.3K viewsView & Download
1:27Ryan Orendorff about his talk "Functional Programming + Dependent Types ≡ Verified Linear Algebra"Konfy365 viewsView & Download
40:28BOB Summer 2019 - Henning Thielemann, Expressive Linear Algebra in HaskellBOBKonf693 viewsView & Download
42:59Noon van der Silk - Quantum Computing and Haskell - A Linear Love Story?Konfy865 viewsView & Download