| 2008 | ICTAC | A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
| 2005 | ESOP | Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. | Henning Makholm, J. B. Wells |
| 2005 | ICFP | Type inference, principal typings, and let-polymorphism for first-class mixin modules. | Henning Makholm, J. B. Wells |
| 2004 | ESOP | System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. | Sbastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury |
| 2004 | ESOP | Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
| 2004 | LOPSTR | Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. | J. B. Wells, Boris Yakobowski |
| 2004 | PPDP | Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. | Sbastien Carlier, J. B. Wells |
| 2003 | PPDP | Compilation of extended recursion in call-by-value functional languages. | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
| 2002 | ICALP | The Essence of Principal Typings. | J. B. Wells |
| 2001 | ICFP | Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. | Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells |
| 2001 | PPDP | Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. | Franklyn A. Turbak, J. B. Wells |
| 2000 | ESOP | Equational Reasoning for Linking with First-Class Primitive Modules. | J. B. Wells, Ren Vestergaard |
| 2000 | ICALP | Introduction: Workshop on Intersection Types and Related Systems (ITRS'00). | J. B. Wells |
| 1999 | ICFP | Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). | Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells |
| 1999 | POPL | Principality and Decidable Type Inference for Finite-Rank Intersection Types. | A. J. Kfoury, J. B. Wells |
| 1997 | ICFP | Strongly Typed Flow-Directed Representation Transformations. | Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells |
| 1995 | LICS | New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi | A. J. Kfoury, J. B. Wells |
| 1994 | LICS | Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable | J. B. Wells |