Get started
Author

Didier Rémy

A calculus of mobile agents
1996 · Cédric Fournet, Georges Gonthier, et al. · Lecture notes in computer science · 420
Type checking records and variants in a natural extension of ML
1989 · D. Rémy · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 208
PDF
Dynamic typing in polymorphic languages
1995 · M. Abadi, L. Cardelli, et al. · Journal of Functional Programming · 127
PDF
A generalization of exceptions and control in ML-like languages
1995 · Carl A. Gunter, Didier Rémy, et al. · 116
PDF
Type inference for records in natural extension of ML
1994 · Didier Rémy · ScholarlyCommons (University of Pennsylvania) · 115
PDF
Objective ML
1997 · Didier Rémy, Jérôme Vouillon · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 92
MLF
2014 · Didier Le Botlan, Didier Rémy · ACM SIGPLAN Notices · 71
Foundations of Object-Oriented Languages
2002 · Kim Bruce, Didier Remy · Information and Computation · 67
PDF
ML F
2003 · Didier Le Botlan, Didier Rémy · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 62
Programming objects with ML-ART an extension to ML with abstract and record types
1994 · Didier Rémy · Lecture notes in computer science · 62
Implicit typing à la ML for the join-calculus
1997 · Cédric Fournet, Luc Maranget, et al. · Lecture notes in computer science · 56
Semi-Explicit First-Class Polymorphism for ML
1999 · Jacques Garrigue, Didier Rémy · Information and Computation · 51
Typing record concatenation for free
1992 · Didier Rémy · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 35
PDF
Simple, partial type-inference for System F based on type-containment
2005 · Didier Rémy · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 34
PDF
Typing record concatenation for free
1994 · Didier Rémy · 34
Syntactic theories and the algebra of record terms
1992 · Didier Rémy · 34
Recasting MLF
2009 · Didier Le Botlan, Didier Rémy · Information and Computation · 29
PDF
Extending ML with semi-explicit higher-order polymorphism
1997 · Jacques Garrigue, Didier Rémy · Lecture notes in computer science · 27
From classes to objects via subtyping
1998 · Didier Rémy · Lecture notes in computer science · 26
Inheritance in the Join Calculus
2000 · Cédric Fournet, Cosimo Laneve, et al. · Lecture notes in computer science · 25
Which simple types have a unique inhabitant?
2015 · Gabriel Scherer, Didier Rémy · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 21
PDF
Subtyping Recursive Types Modulo Associative Commutative Products
2005 · Roberto Di Cosmo, François Pottier, et al. · Lecture notes in computer science · 21
Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa
2002 · Didier Rémy · Lecture notes in computer science · 20
Projective ML
1992 · Didier Rémy · 20
Ambivalent Types for Principal Type Inference with GADTs
2013 · Jacques Garrigue, Didier Rémy · Lecture notes in computer science · 19
Works count: 122
Citation count: 2,040
H-index: 21
I10-index: 37
Year
Topic
Type