37: Propositions as Types w/ Brian McKenna

Published: Feb. 1, 2015, 3 p.m.

Propositions as Types\n Simple Energy\n Curry\u2013Howard isomorphism\n Types and Programming Languages\n @parametricity\n Type safe printf\n Brian's talk at Strangeloop 2014