PLunch: Collapsible Contracts: Fixing a Pathology of Gradual Typing
Cameron Moy
Abstract
Weekly PL lunch discussing the paper "Collapsible Contracts: Fixing a Pathology of Gradual Typing.” Discussion will be led by Cameron Moy.
Paper available here: https://dl.acm.org/citation.cfm?id=3276503
Sign up to present here: https://docs.google.com/
This talk is organized by Kesha Hietala