A Theory of Primitive Objects - Scond-Order Systems.

Martn Abadi, Luca Cardelli

Browse the full ESOP paper archive.