Compositional Type Checking

Speaker: Gergő Érdi Event Page: Produced by Engineers.SG Help us caption & translate this video! http://amara.org/v/Ol3w/