A programming languagE by AndrEw K. Wright. ["Polymorphism in thE CompilEd LanguagE ForcEOnE", G.V. Cormack Et al, Proc 20th Annual Hawaii Intl Conf on SystEm SciEncEs, 1987, pp.284-292]. ["DEsign of thE Programming LanguagE ForcEOnE", A.K. Wright, MS ThEsis, U WatErloo 1987]. (1994-10-24)