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

Sergi Winitzki provides an overview of the curry-toward correspondence and how to use it to generate code from type signatures for the Bay Area Haskell Users Group (BAHUG) meeting March 22nd, 2018.

Slides are available here: https://github.com...