A theory of primitive objects: second-order systems

by Martín Abadi , Luca Cardelli
Venue:Proc. ESOP’94 - European Symposium on Programming
Citations:54 - 8 self