 Name: Jim Newton
 Email: jnewton@lrde.epita.fr
 Jim at LinkedIn
 Jim at EDITE
Jim has completed his Master of Arts at Mississippi State University.
He has worked at LRDE within the Climb project since the 2015.
Research Interests
 Functional Languages
 Dynamic Languages
 Rational Languages
 Binary Decision Diagrams
 Type theory
Work in Progress
Publications
Conference papers

Title

Authors

Published in

Date

newton.21.els

A Portable, Simple, Embeddable Type System

Jim Newton, Adrien Pommellet

Proceedings of the 14th European Lisp Symposium (ELS)

26 April 2021

valais.19.els

Implementing Baker's SUBTYPEP decision procedure

Léo Valais, Jim Newton, Didier Verna

12th European Lisp Symposium

1 April 2019

newton.19.els

Finite Automata Theory Based Optimization of Conditional Variable Binding

Jim Newton, Didier Verna

European Lisp Symposium

14 January 2019

newton.18.meta

Recognizing heterogeneous sequences by rational type expression

Jim Newton, Didier Verna

Proceedings of the Meta'18: Workshop on MetaProgramming Techniques and Reflection

14 September 2018

newton.18.els

Approaches in Typecase Optimization

Jim Newton, Didier Verna

European Lisp Symposium

5 April 2018

newton.17.els

Programmatic Manipulation of Common Lisp Type Specifiers

Jim Newton, Didier Verna, Maximilien Colange

European Lisp Symposium

6 February 2017

newton.16.els

TypeChecking of Heterogeneous Sequences in Common Lisp

Jim Newton, Akim Demaille, Didier Verna

European Lisp Symposium

25 March 2016

Technical reports
Journal papers

Title

Authors

Published in

Date

newton.18.tocl

A Theoretical and Numerical Analysis of the WorstCase Size of Reduced Ordered Binary Decision Diagrams

Jim Newton, Didier Verna

ACM Transactions on Computational Logic

28 August 2018

PHD Theses and Habilitations

Title

Authors

Published in

Date

newton.18.phd

Representing and Computing with Types in Dynamically Typed Languages

Jim Newton


1 November 2018
