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

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

doi:10.1145/2951913.2951930

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 journal › Article › peer-review

4 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 language	English (US)
Pages (from-to)	117-131
Number of pages	15
Journal	ACM SIGPLAN Notices
Volume	51
Issue number	9
DOIs	https://doi.org/10.1145/2951913.2951930
State	Published - Sep 4 2016
Externally published	Yes

Keywords

Contracts
Language design
Specifications

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1145/2951913.2951930

Cite this

@article{e45f3d53fa76497bac03ffba2f955d96,

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

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.",

keywords = "Contracts, Language design, Specifications",

author = "Christos Dimoulas and New, {Max S.} and Findler, {Robert Bruce} and Matthias Felleisen",

note = "Funding Information: The authors gratefully acknowledge the support of several NSF grants: CCF-1421770 and CNS-1524052 (Harvard), CNS-1405756 (Northwestern), and CCF-1518844 (Northeastern). Publisher Copyright: {\textcopyright} 2016 ACM.",

year = "2016",

month = sep,

day = "4",

doi = "10.1145/2951913.2951930",

language = "English (US)",

volume = "51",

pages = "117--131",

journal = "ACM SIGPLAN Notices",

issn = "1523-2867",

publisher = "Association for Computing Machinery (ACM)",

number = "9",

}

TY - JOUR

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

AU - Dimoulas, Christos

AU - New, Max S.

AU - Findler, Robert Bruce

AU - Felleisen, Matthias

N1 - Funding Information: The authors gratefully acknowledge the support of several NSF grants: CCF-1421770 and CNS-1524052 (Harvard), CNS-1405756 (Northwestern), and CCF-1518844 (Northeastern). Publisher Copyright: © 2016 ACM.

PY - 2016/9/4

Y1 - 2016/9/4

N2 - 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.

AB - 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.

KW - Contracts

KW - Language design

KW - Specifications

UR - http://www.scopus.com/inward/record.url?scp=85084461832&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85084461832&partnerID=8YFLogxK

U2 - 10.1145/2951913.2951930

DO - 10.1145/2951913.2951930

M3 - Article

AN - SCOPUS:85084461832

SN - 1523-2867

VL - 51

SP - 117

EP - 131

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 9

ER -

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

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this