Difference between revisions of "Jim Newton"
From LRDE
Jim Newton (talk | contribs) |
Jim Newton (talk | contribs) |
||
Line 1: | Line 1: | ||
* Name: Jim Newton |
* Name: Jim Newton |
||
* Email: jnewton@lrde.epita.fr |
* Email: jnewton@lrde.epita.fr |
||
− | * Subject: "Tree-based shape spaces for applications in image processing and computer vision" |
||
* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn] |
* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn] |
||
* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE] |
* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE] |
Revision as of 17:44, 24 February 2017
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
Project Report: Finding maximal common joins in a DAG
Project Report: Monads in Common Lisp
Programmatic Manipulation of Common Lisp Type Specifiers
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 |
Technical Reports
Author | Title | Published in | Date | |
---|---|---|---|---|
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set | Jim Newton | Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set | 2 February 2017 | |
Monads in Common Lisp | Jim Newton | Monads in Common Lisp | 18 November 2016 | |
Finding Maximal Common Joins in a DAG | Jim Newton | Finding Maximal Common Joins in a DAG | 17 November 2016 | |
Efficient Dynamic Type Checking of Heterogeneous Sequences | Jim Newton | Efficient Dynamic Type Checking of Heterogeneous Sequences | 22 February 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 |