- ...developers
- The Basis
Library authors are Andrew Appel (Princeton, USA); Emden Gansner,
John Reppy (AT&T Research, USA); Lal George, Lorenz Huelsbergen,
Dave MacQueen (Bell Laboratories, USA); Matthew Arcus, Dave Berry,
Richard Brooksby, Nick Barnes, Brian Monahan, Jon Thackray
(Harlequin Ltd., Cambridge, England); Carsten Müller (Berlin,
Germany); and Peter Sestoft (Royal Veterinary and Agricultural
University, Denmark).
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...constraint
- Corresponding to
abstraction U : U = struct ... end in MacQueen's original
proposal for SML Modules [5]. Standard
ML of NJ implemented that syntax; the new syntax `U :> U' is
required by the 1996 revision of SML.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.