Search for tag: "curry"

School of Informatics Sample Undergraduate Lecture

School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)

From  Nicola Hopper on June 3rd, 2021 0 likes 19 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 377 plays 0