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/

Organizations

•   Papers We Love

Presenters

•   Jingwen Chen