44:42Far more than you've ever wanted to know about ADTs - Nicolas Rinaudo | Lambda Days 2024Code Sync746 viewsView & Download
49:02David Turner Memorial Session - J. Hughes, S. Thompson, L. Augustsson, J. Gibbons | Lambda Days 2024Code Sync658 viewsView & Download
21:52Imagine a Dependently Typed Python - Andor Pénzes | Lambda Days 2024Code Sync440 viewsView & Download
41:11An Introduction to Effectful Programming in Flix - Magnus Madsen | Lambda Days 2025Code Sync485 viewsView & Download
39:38Lustre Universal Components: the best of Elm and Phoenix LiveView - H. Thompson | Lambda Days 2024Code Sync6.2K viewsView & Download
48:26Types and other techniques as an accessibility tool for the ADHD brain - M.Newton | Lambda Days 2024Code Sync1.5K viewsView & Download
52:41Keynote: The Two Cultures of Artifical Intelligence - Philip Wadler | Lambda Days 2024Code Sync1.3K viewsView & Download
20:38Media streaming in the functional world - Mateusz Front | Lambda Days 2024Code Sync429 viewsView & Download
1:06I don't think there is a better place to be than Lambda Days 2025Code Sync483 viewsView & Download
