1:00:46Gabriele Keller - Keynote: Functional programming for array-based parallelism - Lambda Days 2020Code Sync2.5K viewsView & Download
21:30Philipp Kant - Fusing Flexibility with Formality (...) - Lambda Days 2020Code Sync1.0K viewsView & Download
1:03:30Viktor Kunčak - Keynote: Proving Algebraic Laws in Scala using Stainless - Lambda Days 2020Code Sync630 viewsView & Download
15:24Satoru Kawahara - One-shot Algebraic Effects as Coroutines - Lambda Days 2020Code Sync633 viewsView & Download
45:12Enzo Alda, Javier López - Functional Programming for End-Users - Lambda Days 2020Code Sync689 viewsView & Download
47:19Carl Seger - Keynote: Functional Programming for Hardware Design (...) - Lambda Days 2020Code Sync671 viewsView & Download
17:45Jim Newton - Performance Comparison of Several Folding Strategies - Lambda Days 2020Code Sync322 viewsView & Download
41:11An Introduction to Effectful Programming in Flix - Magnus Madsen | Lambda Days 2025Code Sync485 viewsView & Download