32:58Lambda World 2018 - Rust and Haskell, sitting in a tree - Lisa PassingLambda World10.6K viewsView & Download
38:27Lambda World 2018 - What Haskell Taught Us When We Weren't Looking - Eric TorreborreLambda World19.0K viewsView & Download
34:20Lambda World 2024 - Liquid Haskell: Verification with Refinement Types - Niki VazouLambda World733 viewsView & Download
34:32Lambda World 2018 - MirageOS, towards a smaller and safer OS - Romain CalascibettaLambda World3.4K viewsView & Download
40:00Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl RajaLambda World1.0K viewsView & Download
37:37Lambda World 2018 - Writing a Screencast Video Editor in Haskell - Oskar WickstromLambda World1.8K viewsView & Download
38:31Lambda World 2024 - Resilient REST APIs: The case for Parallel Change - Abby SasselLambda World234 viewsView & Download
47:42Lambda World 2018 - Diagrammatic Execution Models for Functional Languages - KeynoteLambda World957 viewsView & Download
45:16Lambda World 2018 - Keynote: How Does Code Sound? - Felienne HermansLambda World756 viewsView & Download