Type systems (1997)

by Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, Greg Nelson
Venue:The Computer Science and Engineering Handbook