Talks

• 2018-06-09: Uncertainty is Hope: Logic and gradual typing, MFPS '18 tutorial talk: PDF
• ...see the papers page for talks between 2009 and 2018...
• 2009-08-31: Greedy Bidirectional Polymorphism, ML Workshop '09: PDF with overlays
• 2008-07-16: Programming with Proofs and Explicit Contexts, PPDP '08: PDF with overlays
• 2008-06-23: Case Analysis of Higher-Order Data, LFMTP '08: PDF with overlays
• 2007-10-05: Refined Typechecking with Stardust, PLPV '07: PDF with overlays
• 2005-05-06 (revised 2005-05-10): Applying Type Refinements, CMU SCS Student Seminar Series: PDF with overlays (best for onscreen viewing)
• 2004-01-16 (revised 2004-01-19): Tridirectional Typechecking, POPL '04, Venice, Italy: PDF with overlays; see also the paper
• 2003-04-08: Type Assignment for Intersections and Unions in Call-by-Value Languages, FOSSACS '03, Warsaw, Poland: PDF (or PDF with overlays) see also the paper