A Theory of Primitive Objects: Untyped and First-Order Systems (1994)

by M Abadi, L Cardelli
Venue:TACS ‘94 Proceedings