Matthews, D.C.J. "Introduction to Poly" UCAM-CL-TR-29 May 1982

Languages mentioned

• Poly {1982} Polymorphic Programming Language