Now showing items 1-1 of 1

    • Abstract Value Constructors: Symbolic Constants for Standard ML 

      Aitken, William; Reppy, John H. (Cornell University, 1992-06)
      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 ...