Lightning Talk: Curry-Howard Correspondence - Jefferson Carpenter - CppCon 2021
Lightning Talk: FlexClass - Classes With Dynamic Size For Everyone - Breno Guimarães - CppCon 2021
The Curry-Howard Correspondence
Explaining the Curry-Howard correspondence for practical programmers. With code examples in Scala
Lightning Talk: Finding Whether a Number is a Power of 2 - Ankur Satle - CppCon 2022
Curry-Howard Correspondence: Correct Code [by just writing more code]
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
Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time
Lightning Talk: find-move-candidates in Cpp - Chris Cotter - CppCon 2022
Lightning Talk: Memoizing Constexpr Programs - Chris Philip - CppCon 2021
Jean Louis Krivine - 2/2 Curry-Howard correspondence gives new models of ZF
Data Juggling - Part 5 - Curry-Howard-Lambek Correspondence
Lightning Talk: I'm a C++ Expert (And Proud Of It) - Chloé Lourseyre - CppCon 2021
Lightning Talk: One Year of Meeting C++ Online - Jens Weller - CppCon 2021
GRCon22 (Lightning Talk) IQEngine by Marc
Lightning Talk: The Glory of Six Dots - Zhihoa Yuan - CppNow 2022
Types are Awesome | Curry-Howard Isomorphism | Type-level programming | Rust, Python, C++
Lightning Talk: Automation and Process to Increase Code Quality - Ira Mykytyn - CppCon 2021
Lightning Talk: Fun with Pointers to Members - Dominic Pöschko - CppCon 2021
![Curry-Howard Correspondence: Correct Code [by just writing more code]](https://img.youtube.com/vi/MMRcGZMtddA/0.jpg)
