Jim Newton
From LRDE
Revision as of 16:19, 17 November 2016 by Jim Newton (talk | contribs)
- Name: Jim Newton
- Email: jnewton@lrde.epita.fr
- Subject: "Tree-based shape spaces for applications in image processing and computer vision"
- Linked In: https://fr.linkedin.com/in/jim-newton-463600a8
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
Journal Papers
| Author | Title | Published in | Date | |
|---|---|---|---|---|
| A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | Jim Newton Didier Verna | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | ACM Transactions on Computational Logic | 28 August 2018 |
Conference and Workshop Papers
| Author | Title | Published in | Date | |
|---|---|---|---|---|
| Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map | Jim Newton | Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map | Symposium on Implementation and Application of Functional Languages | 31 August 2022 |
| A Portable, Simple, Embeddable Type System | Jim Newton Adrien Pommellet | A Portable, Simple, Embeddable Type System | Proceedings of the 14th European Lisp Symposium (ELS) | 26 April 2021 |
| Implementing Baker's SUBTYPEP decision procedure | Léo Valais Jim Newton Didier Verna | Implementing Baker's SUBTYPEP decision procedure | 12th European Lisp Symposium | 1 April 2019 |
| Finite Automata Theory Based Optimization of Conditional Variable Binding | Jim Newton Didier Verna | Finite Automata Theory Based Optimization of Conditional Variable Binding | European Lisp Symposium | 14 January 2019 |
| Recognizing Heterogeneous Sequences by Rational Type Expression | Jim Newton Didier Verna | Recognizing Heterogeneous Sequences by Rational Type Expression | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |
| Approaches in Typecase Optimization | Jim Newton Didier Verna | Approaches in Typecase Optimization | European Lisp Symposium | 5 April 2018 |
| Programmatic Manipulation of Common Lisp Type Specifiers | Jim Newton Didier Verna Maximilien Colange | Programmatic Manipulation of Common Lisp Type Specifiers | European Lisp Symposium | 6 February 2017 |
| Type-Checking of Heterogeneous Sequences in Common Lisp | Jim Newton Akim Demaille Didier Verna | Type-Checking of Heterogeneous Sequences in Common Lisp | European Lisp Symposium | 25 March 2016 |
Thesis
| Author | Title | Date | |
|---|---|---|---|
| Representing and Computing with Types in Dynamically Typed Languages | Jim Newton | Representing and Computing with Types in Dynamically Typed Languages | 1 November 2018 |