SML implemented in D.C.J. Matthews's Poly, for
Motorola 68020 and SPARC by Abstract Hardware Ltd.
Last updated: 1999-11-23
polylithism ♦ Poly/ML ♦ polymorphic ♦ polymorphic lambda-calculus
Try this search on
Updated: Tue, 18 Sep 2018 07:41:57 GMT
Imperial College Department of Computing
Copyright Denis Howe 1985