Jim Newton
From LRDE
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
[[File:Example.jpg]]==== Unpublished ==== Meeting of follow up committee year two File:t13+24.slides.pdf
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 |