48:30The unbearable weight of glue by Mario Rogic | Lambda Days 2023Code Sync813 viewsView & Download
5:33Lightning Talk: Fun of writing codes in Unison - Yoshikuni Kato | Lambda Days 2025Code Sync928 viewsView & Download
4:57Lightning Talk: Information Programming by Adam Vandervorst | Lambda Days 2023Code Sync621 viewsView & Download
42:19Daml - more than a smart contract language by Jarek Ratajski | Lambda Days 2023Code Sync393 viewsView & Download
20:58Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023Code Sync527 viewsView & Download
15:59Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25Code Sync1.1K viewsView & Download
20:41Designing a programming language for local reasoning and (...) by Robin H. Hansen | Lambda Days 2023Code Sync436 viewsView & Download