Matthews, D.C.J. "Poly report" UCAM-CL-TR-28 August 1982

Languages mentioned

• Poly {1982} Polymorphic Programming Language