Basic polymorphic typechecking (1987)

by Luca Cardelli
Venue:Science of Computer Programming
Citations:78 - 1 self