ICFP 2016 (series) / Research Papers /
Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)
Contracts feel misunderstood, especially those with a higher-order soul. While software engineers appreciate contracts as tools for articulating the interface between components, functional programmers desperately search for their types and meaning, completely forgetting about their pragmatics.
This gem presents a novel analysis of contract systems. Applied to the higher-order kind, this analysis reveals their large and clearly unappreciated software engineering potential. Three sample applications illustrate where this kind of exploration may lead.
Mon 19 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
15:15 - 16:30
Session 3Research Papers at Noh Theater
Chair(s): Neel Krishnaswami University of Birmingham, UK
|Fully Abstract Compilation via Universal Embedding|
Max New Northeastern University, William J. Bowman Northeastern University, Amal Ahmed Northeastern UniversityDOI
|Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)|
Christos Dimoulas Harvard University, Max New Northeastern University, Robby Findler Northwestern University, Matthias Felleisen Northeastern UniversityDOI
|A Type Theory for Incremental Computational Complexity with Control Flow Changes|
Ezgi Çiçek MPI-SWS, Germany, Zoe Paraskevopoulou Princeton University, USA, Deepak Garg MPI-SWS, GermanyDOI