| 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 | 248* | 2023 |
| The Objective Caml System, release 3. 08 X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon | 211 | 2004 |
| 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 | 165 | 1996 |
| Programming with polymorphic variants J Garrigue ML workshop 13 (7), 1998 | 160 | 1998 |
| Relaxing the value restriction J Garrigue International Symposium on Functional and Logic Programming, 196-213, 2004 | 99 | 2004 |
| 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 | 89* | 2008 |
| Code reuse through polymorphic variants J Garrigue Workshop on Foundations of Software Engineering 13, 2000 | 89 | 2000 |
| The Objective Caml system–Documentation and user’s manual X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon | 87 | 2002 |
| The typed polymorphic label-selective λ-calculus J Garrigue, H Aït-Kaci Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 57 | 1994 |
| 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 | 56 | 2002 |
| The Objective Caml system. Software and documentation available on the Web X Leroy, D Doligez, J Garrigue, J Vouillon, D Rémy | 51 | 1996 |
| Extending ML with semi-explicit higher-order polymorphism J Garrigue, D Rémy International Symposium on Theoretical Aspects of Computer Software, 20-46, 1997 | 48 | 1997 |
| Simple type inference for structural polymorphism. J Garrigue APLAS, 329-343, 2001 | 45 | 2001 |
| Label-selective λ-calculus syntax and confluence H Aït-Kaci, J Garrigue Theoretical Computer Science 151 (2), 353-383, 1995 | 42* | 1995 |
| The Objective Caml system release 3.09: Documentation and user’s manual, 2005 X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon | 37 | |
| Semi-explicit first-class polymorphism for ML J Garrigue, D Rémy Information and computation 155 (1-2), 134-169, 1999 | 35 | 1999 |
| Recursive modules for programming K Nakata, J Garrigue ACM SIGPLAN Notices 41 (9), 74-86, 2006 | 32 | 2006 |
| Formalization of error-correcting codes: from Hamming to modern coding theory R Affeldt, J Garrigue Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015 | 27 | 2015 |
| A label-selective lambda-calculus with optional arguments and its compilation method JP Furuse, J Garrigue Kyoto University. Research Institute for Mathematical Sciences [RIMS], 1995 | 27 | 1995 |
| Ambivalent types for principal type inference with GADTs J Garrigue, D Rémy Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013 | 26 | 2013 |
Jérôme VouillonCNRS, Université Paris DiderotEmail yang diverifikasi di pps.univ-paris-diderot.fr
