Curry-howard Correspondence: Correct Code [by Just Writing More Code]

2021 9:28
Synopsis
In this video, we'll talk about how programs and proofs are made of the same stuff, and how you can use that to write more correct ...

You Might Also Like

Scala.IO - Alexandre Bertails - Let Curry-Howard code for me 26:07
Scala.io - Alexandre Bertails - Let Curry-howard Code For Me
2016
The Curry-Howard Correspondence 45:33
The Curry-howard Correspondence
2022
Explaining the Curry-Howard correspondence for practical programmers. With code examples in Scala 1:14:38
Explaining The Curry-howard Correspondence For Practical Pro...
2021
A pedagogical introduction to Curry-Howard correspondence and its applications, for programmers 2:44:54
A Pedagogical Introduction To Curry-howard Correspondence An...
2019
Types are Awesome | Curry-Howard Isomorphism | Type-level programming | Rust, Python, C++ 56:11
Types Are Awesome | Curry-howard Isomorphism | Type-level Pr...
2021
Understanding the Curry Howard Correspondence in Coq: Types and Proofs Explained 1:29
Understanding The Curry Howard Correspondence In Coq: Types ...
2026
Talia Ringer — Proof Transformation: The Curry-Howard of Program Transformation 59:47
Talia Ringer — Proof Transformation: The Curry-howard Of P...
2021
Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time 50:49
Generating Scala Code With The Curry-howard Correspondence: ...
2019
Logical Verification 2020 lecture03 37 the curry howard correspondence 20:31
Logical Verification 2020 Lecture03 37 The Curry Howard Corr...
2022
PL Class: Curry-Howard Correspondence 1:12:38
Pl Class: Curry-howard Correspondence
2023
Linus's Laws of Writing Readable Code 4:02
Linus's Laws Of Writing Readable Code
2025
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.