| 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 | 632 | 1996 |
| 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 | 297 | 1989 |
| 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 | 244* | 2021 |
| 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 | 216 | 1998 |
| The Objective Caml System, release 3. 08 X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon | 214 | 2004 |
| Dynamic typing in polymorphic languages M Abadi, L Cardelli, B Pierce, D Rémy Journal of functional programming 5 (1), 111-130, 1995 | 205 | 1995 |
| The essence of ML type inference F Pottier, D Rémy Advanced Topics in Types and Programming Languages 1, 389-489, 2005 | 200 | 2005 |
| Type inference for records in a natural extension of ML D Rémy Theoretical aspects of object-oriented programming, 67-96, 1994 | 196 | 1994 |
| 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 | 171 | 1996 |
| MLF: raising ML to the power of System F D Le Botlan, D Rémy ACM SIGPLAN Notices 49 (4S), 52-63, 2014 | 147 | 2014 |
| 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 | 142 | 1997 |
| 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 | 136 | 1995 |
| 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 | 103 | 1997 |
| 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 | 102 | 2000 |
| 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 | 96 | 1994 |
| Typing record concatenation for free D Rémy Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 95 | 1992 |
| The Objective Caml system–Documentation and user’s manual X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon | 83 | 2002 |
| Extending ML type system with a sorted equational theory D Rémy Research Report 1766, Institut National de Recherche en Informatique et …, 1992 | 68 | 1992 |
| 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 | 55 | 2002 |
Jérôme VouillonCNRS, Université Paris DiderotEmail verificata su pps.univ-paris-diderot.fr
