Follow
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
CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996
6371996
The Objective Caml system release 3.10: Documentation and user's manual
X Leroy
http://caml. inria. fr/, 2007
327*2007
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
3001989
The OCaml system release 5.1: Documentation and user's manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, KC Sivaramakrishnan, ...
Inria, 2023
254*2023
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
2191998
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2142004
Dynamic typing in polymorphic languages
M Abadi, L Cardelli, B Pierce, D Rémy
Journal of functional programming 5 (1), 111-130, 1995
2101995
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages 1, 389-489, 2005
2072005
Type inference for records in natural extension of ML
D Rémy
Theoretical aspects of object-oriented programming: types, semantics, and …, 1994
1971994
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
1701996
MLF: raising ML to the power of System F
D Le Botlan, D Rémy
ACM SIGPLAN Notices 49 (4S), 52-63, 2014
1472014
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
1431997
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
1381995
Implicit typing à la ML for the join-calculus
C Fournet, L Maranget, C Laneve, D Rémy
CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997
1021997
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
1012000
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
961994
Typing record concatenation for free
D Rémy
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
951992
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
842002
Extending ML type system with a sorted equational theory
D Rémy
Research Report 1766, Institut National de Recherche en Informatique et …, 1992
691992
The Objective Caml system, documentation and user’s manual (release 3.06)
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
INRIA, Rocquencourt, France, Tech. Rep 19, 2002
552002
The system can't perform the operation now. Try again later.
Articles 1–20