Explicit substitutions (1996)

by M. Abadi , L. Cardelli , P.-L. Curien , J.-J. Lévy
Citations:390 - 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 — 1990 — In Proceedings of the Seventeenth ACM Symposium on Principles of Programming Languages
Explicit Substitutions –M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy — 1991