Type systems --- basic ideas and applications (1990)

by R P Nederpelt
Venue:in: CSN '90, Computing Science in the Netherlands 1990, Stichting Mathematisch Centrum