Folgen
Didier Rémy
Didier Rémy
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
6141996
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
2821989
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
2161998
The OCaml system release 4.13: Documentation and user's manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, J Vouillon
Inria, 2021
210*2021
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2082004
Dynamic typing in polymorphic languages
M Abadi, L Cardelli, B Pierce, D Rémy
Journal of functional programming 5 (1), 111-130, 1995
1991995
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages 1, 389-489, 2005
1882005
Type inference for records in a natural extension of ML
D Rémy
Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and …, 1993
1871993
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
1422014
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
1381997
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
1361995
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
1022000
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
1011997
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
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
93*2008
Typing record concatenation for free
D Rémy
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
881992
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
812002
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20