Oh Lord, please don't let contracts be misunderstood (Functional Pearl)

Christos Dimoulas, Max S. New, Robert Findler, Matthias Felleisen

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

5 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
EditorsEijiro Sumii, Jacques Garrigue, Gabriele Keller
PublisherAssociation for Computing Machinery, Inc
Pages117-131
Number of pages15
ISBN (Print)9781450342193
DOIs
StatePublished - Aug 4 2016
Event21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016 - Nara, Japan
Duration: Sep 18 2016Sep 24 2016

Publication series

NameICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming

Other

Other21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016
CountryJapan
CityNara
Period9/18/169/24/16

Keywords

  • Contracts
  • Language design
  • Specifications

ASJC Scopus subject areas

  • Software
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Oh Lord, please don't let contracts be misunderstood (Functional Pearl)'. Together they form a unique fingerprint.

Cite this