Manifest contracts for datatypes

DOI10.1145/2676726.2676996MaRDI QIDQ2819804zbMATH OpenOpenAlexFDO

Authors Taro Sekiyama, Yuki Nishida, Atsushi Igarashi

Publication date 29 September 2016

Published in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2676726.2676996

zbMATH Keywords

refinement typesalgebraic datatypescontract checkingdatatype translation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Polymorphic contracts
• Contracts made manifest
• Contracts made manifest
• Space-efficient manifest contracts
• Stateful manifest contracts

Cited in

(8)

• An extended account of contract monitoring strategies as patterns of communication
• Polymorphic contracts
• Space-efficient manifest contracts
• Contracts made manifest
• Foundations of dependent interoperability
• Manifest contracts with intersection types
• Stateful manifest contracts
• Contracts made manifest

This page was built for publication: Manifest contracts for datatypes

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