JavaScript is disabled for your browser. Some features of this site may not work without it.
Abstract Value Constructors: Symbolic Constants for Standard ML
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 |