关注
Jérôme Vouillon
Jérôme Vouillon
在 pps.univ-paris-diderot.fr 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
2692000
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
243*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
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
Regular expression types for XML
H Hosoya, J Vouillon, BC Pierce
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 46-90, 2005
2172005
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
2162007
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
932014
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
Experience report: Ocsigen, a web programming framework
V Balat, J Vouillon, B Yakobowski
ACM Sigplan Notices 44 (9), 311-316, 2009
412009
系统目前无法执行此操作,请稍后再试。
文章 1–20