Folgen
Jérôme Vouillon
Jérôme Vouillon
Bestätigte E-Mail-Adresse bei pps.univ-paris-diderot.fr
Titel
Zitiert von
Zitiert von
Jahr
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
327*2010
Regular expression types for XML
H Hosoya, J Vouillon, BC Pierce
ACM SIGPLAN Notices 35 (9), 11-22, 2000
2672000
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
254*2023
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
2181998
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
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
2152006
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2142004
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
2102007
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
1701996
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
1431997
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
892014
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
832002
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
552002
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
491996
Experience report: Ocsigen, a web programming framework
V Balat, J Vouillon, B Yakobowski
ACM Sigplan Notices 44 (9), 311-316, 2009
422009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20