Explicit substitutions (1996)
Cached
Download Links
- [pauillac.inria.fr]
- [www.ags.uni-sb.de]
- [www.pps.jussieu.fr]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
M. Abadi
,
L. Cardelli
,
P.-L. Curien
,
J.-J. Lévy
| Citations: | 359 - 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. Lévy — 1991 |
