.:. Consultation > Liste par auteurs > Vouillon .:.

18 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

How to Run your Favorite Language in Web Browsers Canou B., Chailloux E., Vouillon J. Dans WWW2012 dev track proceedings - WWW2012, France (2012) [hal-00694031 - version 1]

On software component co-installability Vouillon J., Di Cosmo R. Dans ESEC/FSE - ESEC/FSE, France (2011) [hal-00622826 - version 1]

A Solution to the POPLMARK Challenge Based on de Bruijn Indices Vouillon J. Journal of Automated Reasoning (2011) 1-36 [hal-00628381 - version 1]

On Software Component Co-Installability (extended version) Vouillon J., Di Cosmo R. [hal-00605491 - version 1] (01/07/2011)

Macaque : Interrogation sûre et flexible de base de données depuis OCaml Scherer G., Vouillon J. Dans Actes des 21ème journées francophones des langages applicatifs - Ving et unième journées francophones des langages applicatifs, France (2010) [hal-00495977 - version 1]

Experience report : Ocsigen, a web programming framework Balat V., Vouillon J., Yakobowski B. In Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - International Conference on Functional Programming, United Kingdom (2009) [hal-00495903 - version 1]

Improving the Quality of GNU/Linux Distributions Di Cosmo R., Durak B., Boender J., Mancinelli F., Vouillon J. Dans COMPSAC - COMPSAC, France (2008) [hal-00622821 - version 1]

Lwt: a cooperative thread library Vouillon J. Dans Proceedings of the 2008 ACM SIGPLAN workshop on ML - Workshop on ML, Canada (2008) [hal-00495983 - version 1]

A very modal model of a modern, major, general type system W. Appel A., melliès P.-A., D. Richards C., Vouillon J. Dans Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - Annual Symposium on Principles of Programming Languages, France (2007) [hal-00150978 - version 1]

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions Mancinelli F., Boender J., Di Cosmo R., Vouillon J., Durak B., Leroy X., Treinen R. Dans Automated Software Engineering - 21st IEEE/ACM International Conference on Automated Software Engineering, Japon (2006) [hal-00149566 - version 1]

News from the EDOS project: improving the maintenance of free software distributions. Di Cosmo R., Boender J., Durak B., Leroy X., Mancinelli F., Morgado M., Pinheiro D., Treinen R., Trezentos P., Vouillon J. Dans Proceedings of the International Workshop on Free Software - Brésil (2006) [hal-00154357 - version 1]

Maintaining large software distributions: new challenges from the FOSS era. Di Cosmo R., Durak B., Leroy X., Mancinelli F., Vouillon J. Dans Proceedings of the FRCSS 2006 workshop. - Autriche (2006) [hal-00154188 - version 1]

Polymorphism and XDuce-style patterns Vouillon J. PLAN-X'06, États-Unis (2006) [hal-00150752 - version 1]

Polymorphic Regular Tree Types and Patterns Vouillon J. Dans POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, États-Unis (2006) [hal-00150748 - version 1]

Recursive Polymorphic Types and Parametricity in an Operational Framework melliès P.-A., Vouillon J. In 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - (2005) [hal-00150965 - version 2]