Difference between revisions of "Jim Newton"
From LRDE
Jim Newton (talk | contribs) |
|||
| Line 10: | Line 10: | ||
* Functional Languages |
* Functional Languages |
||
| + | * Dynamic Languages |
||
| + | * Rational Languages |
||
| + | * Binary Decision Diagrams |
||
* Type theory |
* Type theory |
||
Revision as of 13:39, 9 November 2018
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
- Dynamic Languages
- Rational Languages
- Binary Decision Diagrams
- Type theory
Work in Progress
Publications
Conference papers
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.22.ifl | Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map | Jim Newton | Symposium on Implementation and Application of Functional Languages | 31 August 2022 |
| newton.21.els | A Portable, Simple, Embeddable Type System | Jim Newton, Adrien Pommellet | Proceedings of the 14th European Lisp Symposium (ELS) | 26 April 2021 |
| valais.19.els | Implementing Baker's SUBTYPEP decision procedure | Léo Valais, Jim Newton, Didier Verna | 12th European Lisp Symposium | 1 April 2019 |
| newton.19.els | Finite Automata Theory Based Optimization of Conditional Variable Binding | Jim Newton, Didier Verna | European Lisp Symposium | 14 January 2019 |
| newton.18.meta | Recognizing Heterogeneous Sequences by Rational Type Expression | Jim Newton, Didier Verna | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |
| newton.18.els | Approaches in Typecase Optimization | Jim Newton, Didier Verna | European Lisp Symposium | 5 April 2018 |
| newton.17.els | Programmatic Manipulation of Common Lisp Type Specifiers | Jim Newton, Didier Verna, Maximilien Colange | European Lisp Symposium | 6 February 2017 |
| newton.16.els | Type-Checking of Heterogeneous Sequences in Common Lisp | Jim Newton, Akim Demaille, Didier Verna | European Lisp Symposium | 25 March 2016 |
Technical reports
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.17.dtd.report | Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set | Jim Newton | 2 February 2017 | |
| newton.16.monad.report | Monads in Common Lisp | Jim Newton | 18 November 2016 | |
| newton.16.dag.report | Finding Maximal Common Joins in a DAG | Jim Newton | 17 November 2016 | |
| newton.16.rte.report | Efficient Dynamic Type Checking of Heterogeneous Sequences | Jim Newton | 22 February 2016 |
Journal papers
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.18.tocl | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | Jim Newton, Didier Verna | ACM Transactions on Computational Logic | 28 August 2018 |
PHD Theses and Habilitations
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| newton.18.phd | Representing and Computing with Types in Dynamically Typed Languages | Jim Newton | 1 November 2018 |