Jump to Content

Formal Parametric Polymorphism

Luca Cardelli
Pierre-Louis Curien
POPL (1993), pp. 157-170

Abstract

Research Areas