Type systems (1997)

by http caml inria fr Luca Cardelli
Venue:The Computer Science and Engineering Handbook