Propositions as Types - Papers We Love #026

Published on: Tuesday, 7 March 2017

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/