Lightning Talk: Curry-Howard Correspondence - Jefferson Carpenter - CppCon 2021
The Curry-Howard Correspondence
Lecture 2: The Curry-Howard Correspondence
Lightning Talk: Turing Completeness Is Overrated: and here's why - Ben Deane - CppNow 2022
Data Juggling - Part 5 - Curry-Howard-Lambek Correspondence
Lightning Talk: Have You Heard of Provenance? - Ezra Chung - CppNow 2022
Lightning Talk: Better Support For Emotive Programming in C++ - Pablo Halpern - CppCon 2021
Lightning Talk: Effective APIs in Practice in C++ - Thamara Andrade - CppCon 2022
Lightning Talk: FlexClass - Classes With Dynamic Size For Everyone - Breno Guimarães - CppCon 2021
Lightning Talk: The Most Important Design Guideline - Jeff Amstutz - CppCon 2021
Lightning Talk: So You Thought C++ Was Weird? Meet Enums - Roth Michaels - CppCon 2021
Lightning Talk: Memoizing Constexpr Programs - Chris Philip - CppCon 2021
Lightning Talk: Initialisation in Modern C++ - Timur Doumler - CppNow 2022
GRCon22 (Lightning Talk) IQEngine by Marc
Lightning Talk: A Spinlock Implementation - Fedor Pikus - CppNow 2022
Lightning Talk: Zero Cost Regressions - Pejman Ghorbanzade - CppCon 2021
The Curry-Howard-Lambek Correspondence
Lightning Talk: FINALLY - The Presentation You've All Been Waiting For - Louis Thomas - CppCon 2021
Lightning Talk: Tackling Technical Debt: Hello Junior Developers! - Tulio Paschoalin Leao - CppCon21
The Curry-Howard Isomorphism