Alexandre Bertails - "Let Curry-Howard code for me" at NY Scala

Scala.IO - Alexandre Bertails - Let Curry-Howard code for meSee more

Scala.IO - Alexandre Bertails - Let Curry-Howard code for me

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

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

Alexandre Bertails - "Let Curry-Howard code for me" at NY ScalaSee more

Alexandre Bertails - 'Let Curry-Howard code for me' at NY Scala

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

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

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

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

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

The Curry-Howard CorrespondenceSee more

The Curry-Howard Correspondence

Scala Tutorial 16 - Function Currying in ScalaSee more

Scala Tutorial 16 - Function Currying in Scala

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

Events