- 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
Me as a baby
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house.
Work in Progress
Publications
Conference papers
|
Title
|
Authors
|
Published in
|
Date
|
newton.22.ifl
|
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map
|
Jim Newton
|
Symposium on Implementation and Application of Functional Languages
|
31 August 2022
|
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 Meta-Programming 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
|
Type-Checking 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 Worst-Case 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
|