Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Vouillon, Jérôme - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot
Combining subsumption and binary methods: An object calculus with views
Universit Paris 7 -Denis Diderot UFR d'informatique
On the (un)reality of virtual types Didier R'emy and J'erome Vouillon \Lambda
Subtyping Union Types May 5, 2004
Polymorphic Regular Tree Types and Patterns Jer^ome Vouillon
Subtyping Union Types Jer^ome Vouillon
Polymorphism and XDuce-style patterns Jer^ome Vouillon
