Matthews, David C.J. "Processes for Poly and ML," in Papers on Poly/ML, Technical Report 161, University of Cambridge, (February 1989).

Languages mentioned

• Poly {1982} Polymorphic Programming Language