VNS: Namespace Facility. - Jim E. Newton (ELS, 2008)

Custom Specializers in Object-Oriented Lisp. - Jim E. Newton; Christophe Rhodes (J. Univers. Comput. Sci., 2008)

Type-Checking of Heterogeneous Sequences in Common Lisp. - Jim E. Newton; Akim Demaille; Didier Verna (ELS, 2016)

Programmatic Manipulation of Common Lisp Type Specifiers. - Jim E. Newton; Didier Verna; Maximilien Colange (ELS, 2017)

Strategies for TYPECASE Optimization. - Jim E. Newton; Didier Verna (ELS, 2018)

Representing and computing with types in dynamically typed languages. (Représentation et calcul avec des types dans des langages à typage dynamique). - Jim E. Newton (2018)

Finite Automata Theory Based Optimization of Conditional Variable Binding. - Jim E. Newton; Didier Verna (ELS, 2019)

Implementing Baker's SUBTYPEP Decision Procedure. - Léo Valais; Jim E. Newton; Didier Verna (ELS, 2019)

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams. - Jim E. Newton; Didier Verna (ACM Trans. Comput. Log., 2019)

A Portable, Simple, Embeddable Type System. - Jim E. Newton; Adrien Pommellet (ELS, 2021)

An Elegant and Fast Algorithm for Partitioning Types. - Jim E. Newton (ELS, 2023)

Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System. - Jim E. Newton (PADL, 2025)