Suivre
Jérôme Vouillon
Jérôme Vouillon
Adresse e-mail validée de pps.univ-paris-diderot.fr
Titre
Citée par
Citée par
Année
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
2702000
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
249*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
2212006
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
2202007
Regular expression types for XML
H Hosoya, J Vouillon, BC Pierce
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 46-90, 2005
2202005
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
2201998
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2102004
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
1681996
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
1421997
What's in Unison? A formal specification and reference implementation of a file synchronizer
BC Pierce, J Vouillon
982004
From bytecode to JavaScript: the Js_of_ocaml compiler
J Vouillon, V Balat
Software: Practice and Experience 44 (8), 951-972, 2014
952014
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
852002
Lwt: a cooperative thread library
J Vouillon
Proceedings of the 2008 ACM SIGPLAN workshop on ML, 3-12, 2008
712008
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
682005
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
542002
Semantic types: A fresh look at the ideal model for types
J Vouillon, PA Melliès
ACM SIGPLAN Notices 39 (1), 52-63, 2004
532004
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
511996
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
412015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20