| Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). | 0 | 0.34 | 2017 |
| Full Reduction in the Face of Absurdity. | 2 | 0.43 | 2015 |
| Which simple types have a unique inhabitant? | 3 | 0.47 | 2015 |
| System F with coercion constraints | 3 | 0.42 | 2014 |
| GADTs meet subtyping | 1 | 0.39 | 2013 |
| Ambivalent Types for Principal Type Inference with GADTs. | 4 | 0.41 | 2013 |
| On the power of coercion abstraction | 4 | 0.47 | 2012 |
| A Church-Style Intermediate Language for MLF | 6 | 0.57 | 2012 |
| From ML to MLF: graphic type constraints with efficient type inference | 2 | 0.41 | 2008 |
| A graphical presentation of MLF types with a linear-time unification algorithm | 5 | 0.52 | 2007 |
| MLF for everyone (users, implementers, and designers) | 0 | 0.34 | 2007 |
| Simple, partial type-inference for System F based on type-containment | 10 | 0.77 | 2005 |
| Subtyping Recursive Types Modulo Associative Commutative Products | 11 | 0.68 | 2005 |
| ML<sup>F</sup>: raising ML to the power of system F | 36 | 1.63 | 2003 |
| Guest Editorial: Foundations of Object-Oriented Languages | 26 | 1.15 | 2002 |
| Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa | 5 | 0.50 | 2000 |
| Semi-explicit first-class polymorphism for ML | 17 | 0.90 | 1999 |
| PARADEIS: An Object Library for Parallel Sparse Array Computation | 0 | 0.34 | 1999 |
| From Classes to Objects via Subtyping | 18 | 0.98 | 1998 |
| Objective ML: an effective object-oriented extension to ML | 65 | 4.39 | 1998 |
| Implicit Typing à la ML for the Join-Calculus | 34 | 3.02 | 1997 |
| Objective ML: a simple object-oriented extension of ML | 39 | 2.39 | 1997 |
| Extending ML with Semi-Explicit Higher-Order Polymorphism | 16 | 1.08 | 1997 |
| Synthèse de types dans les langages à objets | 0 | 0.34 | 1996 |
| A Calculus of Mobile Agents | 232 | 16.98 | 1996 |
| Dynamic Typing in Polymorphic Languages | 55 | 3.90 | 1995 |
| A generalization of exceptions and control in ML-like languages | 49 | 2.57 | 1995 |
| Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types | 30 | 2.66 | 1994 |
| Projective ML | 9 | 0.78 | 1992 |
