Manifest Contracts for Datatypes
From MaRDI portal
Publication:2819804
DOI10.1145/2676726.2676996zbMath1345.68072OpenAlexW2061127958MaRDI QIDQ2819804
Atsushi Igarashi, Taro Sekiyama, Yuki Nishida
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
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Related Items (2)
Foundations of dependent interoperability ⋮ An extended account of contract monitoring strategies as patterns of communication
This page was built for publication: Manifest Contracts for Datatypes
