No type stamps and no structure stamps–A fully applicative higherorder module language (1995)

by F-J GROSCH