Manifest Contracts for Datatypes
From MaRDI portal
Publication:2819804
DOI10.1145/2676726.2676996zbMath1345.68072MaRDI QIDQ2819804
Atsushi Igarashi, Yuki Nishida, Taro Sekiyama
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
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification