The objective caml system release 3.12 X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, J Vouillon Documentation and user’s manual. INRIA, 2010 | 324* | 2010 |
Regular expression types for XML H Hosoya, J Vouillon, BC Pierce ACM SIGPLAN Notices 35 (9), 11-22, 2000 | 270 | 2000 |
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 | 252* | 2023 |
Managing the complexity of large free and open source package-based software distributions F Mancinelli, J Boender, R Di Cosmo, J Vouillon, B Durak, X Leroy, ... Automated Software Engineering, 2006. ASE'06. 21st IEEE/ACM International …, 2006 | 222 | 2006 |
A very modal model of a modern, major, general type system AW Appel, PA Mellies, CD Richards, J Vouillon ACM SIGPLAN Notices 42 (1), 109-122, 2007 | 221 | 2007 |
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 | 221 | 1998 |
Regular expression types for XML H Hosoya, J Vouillon, BC Pierce ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 46-90, 2005 | 220 | 2005 |
The Objective Caml System, release 3. 08 X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon | 210 | 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 | 168 | 1996 |
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 |
What's in Unison? A formal specification and reference implementation of a file synchronizer BC Pierce, J Vouillon | 98 | 2004 |
From bytecode to JavaScript: the Js_of_ocaml compiler J Vouillon, V Balat Software: Practice and Experience 44 (8), 951-972, 2014 | 95 | 2014 |
The Objective Caml system–Documentation and user’s manual X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon | 85 | 2002 |
Lwt: a cooperative thread library J Vouillon Proceedings of the 2008 ACM SIGPLAN workshop on ML, 3-12, 2008 | 71 | 2008 |
Recursive polymorphic types and parametricity in an operational framework PA Mellies, J Vouillon Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE …, 2005 | 68 | 2005 |
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 | 54 | 2002 |
Semantic types: A fresh look at the ideal model for types J Vouillon, PA Melliès ACM SIGPLAN Notices 39 (1), 52-63, 2004 | 53 | 2004 |
On software component co-installability R Di Cosmo, J Vouillon Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 51* | 2011 |
The Objective Caml system. Software and documentation available on the Web X Leroy, D Doligez, J Garrigue, J Vouillon, D Rémy | 51 | 1996 |
A historical analysis of Debian package incompatibilities M Claes, T Mens, R Di Cosmo, J Vouillon 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories, 212-223, 2015 | 41 | 2015 |