Jim Newton
From LRDE
Revision as of 11:29, 20 April 2017 by Jim Newton (talk | contribs) (removed list of unpublished articles because they are included by the automatic mechanism)
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
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 |