Parametrized Data Types Do Not Need Highly (1982)

by M A Arbib, E G Manes
Venue:Constrained Parameters, Information and Control 52