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
6181996
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
2771989
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
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2072004
Dynamic typing in polymorphic languages
M Abadi, L Cardelli, B Pierce, D Rémy
Journal of functional programming 5 (1), 111-130, 1995
2011995
The OCaml System Release. 4.03
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, J Vouillon
Institut National de Recherche en Informatique et en Automatique, 2016
199*2016
Type inference for records in a natural extension of ML
D Rémy
Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and …, 1993
1861993
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages 1, 389-489, 2005
1822005
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
1641996
MLF: raising ML to the power of System F
D Le Botlan, D Rémy
ACM SIGPLAN Notices 49 (4S), 52-63, 2014
1372014
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
1361997
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
1261995
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
1031997
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
982000
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
92*2008
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
921994
Typing record concatenation for free
D Rémy
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
911992
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
802002
Extending ML type system with a sorted equational theory
D Rémy
Research Report 1766, Institut National de Recherche en Informatique et …, 1992
631992
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
532002
The system can't perform the operation now. Try again later.
Articles 1–20