Matthews David C.J. "The Poly and ML System: Low Level Support" 9 December 1987
(1987)
Languages mentioned
Poly
{1982} Polymorphic Programming Language