Jim E. Newton

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 7

Top Topics

Numerical Analysis

Finite Automaton

Ordered Binary Decision Diagrams

Top Venues

ACM Trans. Comput. Log.

Publications

Jim E. Newton, Adrien Pommellet
A Portable, Simple, Embeddable Type System. ELS (2021)
Jim E. Newton, Didier Verna
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams. ACM Trans. Comput. Log. 20 (1) (2019)
Léo Valais, Jim E. Newton, Didier Verna
Implementing Baker's SUBTYPEP Decision Procedure. ELS (2019)
Jim E. Newton, Didier Verna
Finite Automata Theory Based Optimization of Conditional Variable Binding. ELS (2019)
Jim E. Newton, Didier Verna
Strategies for TYPECASE Optimization. ELS (2018)
Jim E. Newton, Didier Verna, Maximilien Colange
Programmatic Manipulation of Common Lisp Type Specifiers. ELS (2017)
Jim E. Newton, Akim Demaille, Didier Verna
Type-Checking of Heterogeneous Sequences in Common Lisp. ELS (2016)
Jim E. Newton, Christophe Rhodes
Custom Specializers in Object-Oriented Lisp. ELS (2008)
Jim E. Newton, Christophe Rhodes
Custom Specializers in Object-Oriented Lisp. J. Univers. Comput. Sci. 14 (20) (2008)
Jim E. Newton
VNS: Namespace Facility. ELS (2008)