What Are Polymorphically-Typed Ambients?

Torben Amtoft, A. J. Kfoury, Santiago M. Perics-Geertsen

Browse the full ESOP paper archive.