21:30Philipp Kant - Fusing Flexibility with Formality (...) - Lambda Days 2020Code Sync1.0K viewsView & Download
41:37Tomas Petricek - Designing composable functional libraries (...) - Lambda Days 2020Code Sync1.6K viewsView & Download
1:05:14Cardano Formal Methods with Philipp Kant and Jared Corduan of IOHK | TCE 25The Cardano Effect1.5K viewsView & Download
1:10:33How to regulate Large Language Models by Filip Konopczyński | Lambda Days 2023Code Sync241 viewsView & Download
45:20BOB 2018 - Philipp Kant: Formally Specifying Blockchain Protocols using the Psi CalculusBOBKonf1.1K viewsView & Download
23:16Free the Conqueror! (Refactoring divide-and-conquer functions) - Tamás Kozsik (Lambda Days 2017)Erlang Solutions405 viewsView & Download
24:17Teaching Functional Programmers Logic and Metatheory | Frederik Krogsdal Jacobsen | Lambda Days 2022Code Sync1.6K viewsView & Download
37:21[LambdaDays21] Writing good programs in functional languages: who, why, how?Perdita Stevens283 viewsView & Download
42:51Michael Sperber - Teaching Functional Programming | Lambda Days 19Code Sync1.5K viewsView & Download
1:03:05Keynote: Delimited Continuations, Demystified by Alexis King | Lambda Days 2023Code Sync14.1K viewsView & Download