User

Jim Newton

From LRDE

  • 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
  • Type theory


Publications

Unpublished

Journal Papers

 AuthorTitlePublished inDate
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision DiagramsJim Newton
Didier Verna
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision DiagramsACM Transactions on Computational Logic28 August 2018

Conference and Workshop Papers

 AuthorTitlePublished inDate
A Portable, Simple, Embeddable Type SystemJim Newton
Adrien Pommellet
A Portable, Simple, Embeddable Type SystemProceedings of the 14th European Lisp Symposium (ELS)26 April 2021
Implementing Baker's SUBTYPEP decision procedureLéo Valais
Jim Newton
Didier Verna
Implementing Baker's SUBTYPEP decision procedure12th European Lisp Symposium1 April 2019
Finite Automata Theory Based Optimization of Conditional Variable BindingJim Newton
Didier Verna
Finite Automata Theory Based Optimization of Conditional Variable BindingEuropean Lisp Symposium14 January 2019
Recognizing heterogeneous sequences by rational type expressionJim Newton
Didier Verna
Recognizing heterogeneous sequences by rational type expressionProceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection14 September 2018
Approaches in Typecase OptimizationJim Newton
Didier Verna
Approaches in Typecase OptimizationEuropean Lisp Symposium5 April 2018
Programmatic Manipulation of Common Lisp Type SpecifiersJim Newton
Didier Verna
Maximilien Colange
Programmatic Manipulation of Common Lisp Type SpecifiersEuropean Lisp Symposium6 February 2017
Type-Checking of Heterogeneous Sequences in Common LispJim Newton
Akim Demaille
Didier Verna
Type-Checking of Heterogeneous Sequences in Common LispEuropean Lisp Symposium25 March 2016

Technical Reports

 AuthorTitlePublished inDate
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a SetJim NewtonAnalysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set2 February 2017
Monads in Common LispJim NewtonMonads in Common Lisp18 November 2016
Finding maximal common joins in a DAGJim NewtonFinding maximal common joins in a DAG17 November 2016
Efficient dynamic type checking of heterogeneous sequencesJim NewtonEfficient dynamic type checking of heterogeneous sequences22 February 2016

Thesis

 AuthorTitleDate
Representing and Computing with Types in Dynamically Typed LanguagesJim NewtonRepresenting and Computing with Types in Dynamically Typed Languages1 November 2018

Oral Presentations