Functional Programming, Chapter 3. The Logic Of Types, Part 3: The Curry-howard Correspondence
2018
3:09:31
Synopsis
Functional programming in the mathematical spirit. Long and difficult, yet boring explanations given in excruciating detail. Start by ...