A Model for Formal Parametric Polymorphism: A PER Interpretation for System R (1995)

Cached

Download Links

by Roberto Bellucci , Martin Abadi , Pierre-Louis Curien
Citations:6 - 0 self