User

Difference between revisions of "Jim Newton"

From LRDE

(initial input)
 
(added linkedin link)
Line 2: Line 2:
 
* Email: jnewton@lrde.epita.fr
 
* Email: jnewton@lrde.epita.fr
 
* Subject: "Tree-based shape spaces for applications in image processing and computer vision"
 
* Subject: "Tree-based shape spaces for applications in image processing and computer vision"
  +
* Linked In: https://fr.linkedin.com/in/jim-newton-463600a8
* Comment:
 
   
 
Yongchao has completed his Master of Arts at Mississippi State University.<BR>
 
Yongchao has completed his Master of Arts at Mississippi State University.<BR>

Revision as of 15:18, 17 November 2016

Yongchao 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

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
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a MapJim NewtonComparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a MapSymposium on Implementation and Application of Functional Languages31 August 2022
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

Thesis

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

Oral Presentations