Abstract Value Constructors: Symbolic Constants for Standard ML

Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR 92-1290 June 1992 Department of Computer Science Cornell University Ithaca, NY 14853 ∗This work supported, in part, by the ONR under contract N00014-88-K-0409. †Supported, in part, by the NSF and ONR under NSF grant CCR-85-14862, and by the NSF under NSF grant CCR-89-18233. Abstract Value Constructors Symbolic Constants for Standard ML ∗Value Constructors Symbolic Constants for Standard ML ∗ William E. Aitken† Cornell University aitken@cs.cornell.edu John H. Reppy‡ Cornell University§ jhr@research.att.com