Didier Rémy
Title
Cited by
Cited by
Year
A calculus of mobile agents
C Fournet, G Gonthier, JJ Lévy, L Maranget, D Rémy
International Conference on Concurrency Theory, 406-421, 1996
6161996
Type checking records and variants in a natural extension of ML
D Rémy
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
2681989
Foundations of object-oriented languages: types and semantics
KB Bruce
MIT press, 2002
2472002
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2152004
Objective ML: An effective object‐oriented extension to ML
D Rémy, J Vouillon
Theory and Practice of Object Systems 4 (1), 27-50, 1998
2131998
Dynamic typing in polymorphic languages
M Abadi, L Cardelli, BC Pierce, D Rémy, R Taylor
Journal of functional programming 5 (1), 111-130, 1995
1881995
Type inference for records in a natural extension of ML
D Rémy
Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and …, 1993
1761993
The OCaml system release 4.09: Documentation and user's manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, J Vouillon
Inria, 2019
171*2019
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages, 2005
1682005
The objective caml system
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
Software and documentation available at http://caml. inria. fr, 1996
1671996
Objective ML: A simple object-oriented extension of ML
D Rémy, J Vouillon
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
1321997
MLF: raising ML to the power of System F
D Le Botlan, D Rémy
ACM SIGPLAN Notices 49 (4S), 52-63, 2014
1292014
A generalization of exceptions and control in ML-like languages
CA Gunter, D Rémy, JG Riecke
Proceedings of the seventh international conference on Functional …, 1995
1141995
Implicit typing à la ML for the join-calculus
C Fournet, L Maranget, C Laneve, D Rémy
International Conference on Concurrency Theory, 196-212, 1997
1041997
Programming objects with ML-ART an extension to ML with abstract and record types
D Rémy
International Symposium on Theoretical Aspects of Computer Software, 321-346, 1994
951994
Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa
D Rémy
International Summer School on Applied Semantics, 413-536, 2000
932000
The objective caml system release 3.11
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
Documentation and user’s manual. INRIA, 2008
87*2008
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
812002
Typing record concatenation for free
D Rémy
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
791992
Extending ML type system with a sorted equational theory
D Rémy
Research Report 1766, Institut National de Recherche en Informatique et …, 1992
601992
The system can't perform the operation now. Try again later.
Articles 1–20