An Investigation of a Programming Language with a Polymorphic Type Structure (1979)

by N McCracken