Didier Rémy
Author
Alternate names D. Rémy, Didier Rémy, Didier Remy
Past institution Institut national de recherche en informatique et en automatique
ORCID: Yes
H-index: 18
I10-index: 27
Works count: 64
Citations count: 1,529
A calculus of mobile agents
1996 · Cédric Fournet, Georges Gonthier, et al. · Lecture notes in computer science
Dynamic typing in polymorphic languages
1995 · M. Abadi, Luca Cardelli, et al. · Journal of Functional Programming
A generalization of exceptions and control in ML-like languages
1995 · Carl A. Gunter, Didier Rémy, et al.