Explaining the Curry-Howard correspondence for practical programmers. With code examples in Scala

Explaining the Curry-Howard correspondence for practical programmers. With code examples in Scala

The Curry-Howard CorrespondenceSee more

The Curry-Howard Correspondence

"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan PittmanSee more

'Proof Theory Impressionism: Blurring the Curry-Howard Line' by Dan Pittman

Lightning Talk: Curry-Howard Correspondence - Jefferson Carpenter - CppCon 2021See more

Lightning Talk: Curry-Howard Correspondence - Jefferson Carpenter - CppCon 2021

Curry-Howard Correspondence: Correct Code [by just writing more code]See more

Curry-Howard Correspondence: Correct Code [by just writing more code]

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile timeSee more

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time

Generating code from Type Signatures using the Curry Howard Correspondence By Sergi WinitzkiSee more

Generating code from Type Signatures using the Curry Howard Correspondence By Sergi Winitzki

Curry Howard CorrespondenceSee more

Curry Howard Correspondence

A pedagogical introduction to Curry-Howard correspondence and its applications, for programmersSee more

A pedagogical introduction to Curry-Howard correspondence and its applications, for programmers

Lecture 2: The Curry-Howard CorrespondenceSee more

Lecture 2: The Curry-Howard Correspondence

Talia Ringer — Proof Transformation: The Curry-Howard of Program TransformationSee more

Talia Ringer — Proof Transformation: The Curry-Howard of Program Transformation

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile timeSee more

Generating Scala code with the Curry-Howard correspondence: Type inhabitation at compile time

News