- ISO/IEC DIS 11404, Language Independent Datatypes, 1994.Google Scholar
- B.L. Meek, Two-valued datatypes, Sigplan Notices of the ACM, Vol. 25 No. 8, pp. 75-79, August 1990. Google ScholarDigital Library
- B.L. Meek, What is a procedure call?, DECUS Symposium 1993, submission to Sigplan Notices of the ACM in preparation. Google ScholarDigital Library
- B.L. Meek, Programming languages - towards greater commonality, Sigplan Notices of the ACM, April 1994 (based on DECUS Symposium 1992 presentation). Google ScholarDigital Library
Index Terms
A taxonomy of datatypes
Recommendations
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including other identically defined datatypes. A natural way of accounting for this is ...
Typed compilation of recursive datatypes
TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementationStandard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including other identically defined datatypes. A natural way of accounting for this is ...
Manifest Contracts for Datatypes
POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesWe study algebraic data types in a manifest contract system, a software contract system where contract information occurs as refinement types. We first compare two simple approaches: refinements on type constructors and refinements on data constructors. ...
Comments