Type systems (1997)

by L Cardelli
Venue:In The Computer Science and Engineering Handbook