Type systems (1997)

by Luca Cardelli
Venue:Handbook of Computer Science and Engineering