Abstract Value Constructors: Symbolic Constants for Standard ML

Aitken, William; Reppy, John H.

Use of eCommons for rapid dissemination of COVID-19 research

In order to maximize the discoverability of COVID-19 research, and to conform with repository best practices and the requirements of publishers and research funders, we provide special guidance for COVID-19 submissions.

Show simple item record

dc.contributor.author	Aitken, William	en_US
dc.contributor.author	Reppy, John H.	en_US
dc.date.accessioned	2007-04-23T17:59:36Z
dc.date.available	2007-04-23T17:59:36Z
dc.date.issued	1992-06	en_US
dc.identifier.citation	http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR92-1290	en_US
dc.identifier.uri	https://hdl.handle.net/1813/7130
dc.description.abstract	Standard ML (SML) has been used to implement a wide variety of large systems, such as compilers, theorem provers, graphics libraries and even operating systems. While SML provides a convenient, high-level notation for programming large applications, it does have certain deficiencies. One such deficiency is the lack of a general mechanism for assigning symbolic names to constant values. In this paper, we present a simple extension of SML that corrects this deficiency in a way that fits naturally with the semantics of SML. Our proposal is a generalization of SML's datatype constructors: we introduce constants that generalize nullary datatype constructors (like nil), and	en_US
dc.format.extent	2634021 bytes
dc.format.extent	638098 bytes
dc.format.mimetype	application/pdf
dc.format.mimetype	application/postscript
dc.language.iso	en_US	en_US
dc.publisher	Cornell University	en_US
dc.subject	computer science	en_US
dc.subject	technical report	en_US
dc.title	Abstract Value Constructors: Symbolic Constants for Standard ML	en_US
dc.type	technical report	en_US