Type systems. (1996)

by L Cardelli
Venue:ACM Computing Surveys,