Type systems (1997)

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