Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: Abstract Value Constructors: Symbolic Constants for Standard ML
Authors: Aitken, William
Reppy, John H.
Keywords: computer science
technical report
Issue Date: Jun-1992
Publisher: Cornell University
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
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
92-1290.pdf2.57 MBAdobe PDFView/Open
92-1290.ps623.14 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us