Jim E. Newton

According to our database, Jim E. Newton authored at least 10 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

A Portable, Simple, Embeddable Type System.

Jim E. Newton, Adrien Pommellet

Proceedings of the 14th European Lisp Symposium, 2021

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

Implementing Baker's SUBTYPEP Decision Procedure.

Léo Valais, Jim E. Newton, Didier Verna

Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019

Finite Automata Theory Based Optimization of Conditional Variable Binding.

Jim E. Newton, Didier Verna

Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019

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

PhD thesis, 2018

Strategies for TYPECASE Optimization.

Jim E. Newton, Didier Verna

Proceedings of the 11th European Lisp Symposium (ELS 2018), 2018

2017

Programmatic Manipulation of Common Lisp Type Specifiers.

Jim E. Newton, Didier Verna, Maximilien Colange

Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

2016

Type-Checking of Heterogeneous Sequences in Common Lisp.

Jim E. Newton, Akim Demaille, Didier Verna

Proceedings of the 9th European Lisp Symposium (ELS 2016), Kraków, Poland, May 9-10, 2016., 2016

2008

Custom Specializers in Object-Oriented Lisp.

Jim E. Newton, Christophe Rhodes

J. Univers. Comput. Sci., 2008

VNS: Namespace Facility.

Jim E. Newton

Proceedings of the 1st European Lisp Symposium (ELS'08), 2008