Collapsible Contracts: Fixing a Pathology of Gradual Typing

Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Findler, Vincent St Amour

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Collapsible Contracts: Fixing a Pathology of Gradual Typing'. Together they form a unique fingerprint.

Business & Economics