Difference between revisions of "Jim Newton"
From LRDE
Jim Newton (talk | contribs) |
|||
Line 16: | Line 16: | ||
= Publications = |
= Publications = |
||
+ | {{Publications/AuthorList|Jim Newton}} |
||
− | ==== Unpublished ==== |
||
− | |||
− | |||
− | ==== Journal Papers ==== |
||
− | |||
− | {{#ask: [[Category:Publications]] [[Publication type::article]] [[Has author::~*Jim Newton*]] |
||
− | | ?Has author = Author |
||
− | | ?Has title = Title |
||
− | | ?Published in |
||
− | | ?News date#MEDIAWIKI=Date |
||
− | | order = descending |
||
− | | sort = News date |
||
− | }} |
||
− | |||
− | ==== Conference and Workshop Papers ==== |
||
− | |||
− | {{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Has author::~*Jim Newton*]] |
||
− | | ?Has author = Author |
||
− | | ?Has title = Title |
||
− | | ?Published in |
||
− | | ?News date#MEDIAWIKI=Date |
||
− | | order = descending |
||
− | | sort = News date |
||
− | }} |
||
− | |||
− | ==== Technical Reports ==== |
||
− | {{#ask: [[Category:Publications]] [[Publication type::techreport]] [[Has author::~*Jim Newton*]] |
||
− | | ?Has author = Author |
||
− | | ?Has title = Title |
||
− | | ?Published in |
||
− | | ?News date#MEDIAWIKI=Date |
||
− | | order = descending |
||
− | | sort = News date |
||
− | }} |
||
− | |||
− | ==== Thesis ==== |
||
− | |||
− | {{#ask: [[Category:Publications]] [[Publication type::phdthesis]] [[Has author::~*Jim Newton*]] |
||
− | | ?Has author = Author |
||
− | | ?Has title = Title |
||
− | | ?News date#MEDIAWIKI=Date |
||
− | | order = descending |
||
− | | sort = News date |
||
− | }} |
||
− | |||
− | ==== Oral Presentations ==== |
Revision as of 14:00, 26 July 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
- 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 |