Propositions as Types - Papers We Love #026
Channel: Engineers.SG
Date: 2017-03-07

Speaker: Jingwen Chen

Paper: http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf

Event Page: https://www.facebook.com/events/195069594306201

Produced by Engineers.SG

Help us caption & translate this video!

http://amara.org/v/4o9I/