Wadler's Blog
30.1.20
A Profound Pun
My attempt to explain Propositions as Types to a general audience.
Recorded
at Bright Club, The Stand, Edinburgh, 23 September 2019.
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)