Constraining Delimited Control with Contracts

DOI10.1007/978-3-642-37036-6_14MaRDI QIDQ5326288zbMATH OpenOpenAlexFDO

Authors Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt

Publication date 5 August 2013

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37036-6_14

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Limited observability as a constraint in contract design
• Implementability with contingent contracts
• On run-preventing contract design
• Contracts for concurrency
• Identification of participation constraints in contracts
• Restriction by noncontraction

Cited in

(7)

• Delegated contracting, information, and internal control
• Limited observability as a constraint in contract design
• Shifting the blame. A blame calculus with delimited control
• Stateful contracts for affine types
• Fair enumeration combinators
• How to evaluate the performance of gradual type systems
• StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities

This page was built for publication: Constraining Delimited Control with Contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326288)