Explicit substitutions (1996)

by M. Abadi , L. Cardelli , P.-L. Curien , J.-J. Lévy
Citations:409 - 11 self

Document Versions

Explicit substitutions –M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy — 1996
Explicit Substitutions –M. Abadi, L. Cardelli, P.-L. Curien , J.-J. Lévy — 1990
Explicit Substitutions –M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Levy — 1991 — Journal of Functional Programming
Explicit substitutions –M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Levy — 1991
Explicit Substitutions –M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy — 1991