Matthews, David C. J. "Programming language design with polymorphism" PhD Wolfson College, Cambridge 1983
(1983)
Languages mentioned
Poly
{1982} Polymorphic Programming Language