Wadler's Blog

My attempt to explain Propositions as Types to a general audience. Recorded at Bright Club, The Stand, Edinburgh, 23 September 2019.

Labels: Comedy, Functional Programming, Logic, Programming Languages, Types