Abstract value constructors: Symbolic constants for Standard ML (1992)

by William E Aitken, John H Reppy
Venue:Department of Computer Science, Cornell University