Difference between revisions of "Jim Newton"
From LRDE
Jim Newton (talk | contribs) (added picture) |
Jim Newton (talk | contribs) |
||
Line 21: | Line 21: | ||
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house. |
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house. |
||
+ | |||
+ | = Thesis = |
||
+ | [[Affiche-these-JN]] |
||
= Work in Progress = |
= Work in Progress = |
Revision as of 12:49, 12 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
Me as a baby
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house.
Thesis
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 |