Structure and parameterization in a typed functional language (1981)

by D B MacQueen
Venue:Symp. on Functional Languages and Computer Architecture