Oh Lord, please don't let contracts be misunderstood (functional pearl)

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

Research output: Contribution to journalArticlepeer-review

1 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)
Pages (from-to)117-131
Number of pages15
JournalACM SIGPLAN Notices
Volume51
Issue number9
DOIs
StatePublished - Sep 4 2016
Externally publishedYes

Keywords

  • Contracts
  • Language design
  • Specifications

ASJC Scopus subject areas

  • Computer Science(all)

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