Jim E. Newton

14 papers C 1Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2025 C conf
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System.
PADL
Jim E. Newton
2023 — conf
An Elegant and Fast Algorithm for Partitioning Types.
ELS
Jim E. Newton
2022 — ed.
Proceedings of the 15th European Lisp Symposium, ELS 2022, Porto, Portugal, April 21-22, 2022
ELS
Jim E. Newton
2021 — conf
A Portable, Simple, Embeddable Type System.
ELS
Jim E. Newton, Adrien Pommellet
2019 J jnl
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams.
ACM Trans. Comput. Log.
Jim E. Newton, Didier Verna
2019 — conf
Finite Automata Theory Based Optimization of Conditional Variable Binding.
ELS
Jim E. Newton, Didier Verna
2019 — conf
Implementing Baker's SUBTYPEP Decision Procedure.
ELS
Léo Valais, Jim E. Newton, Didier Verna
2018 — —
Representing and computing with types in dynamically typed languages. (Représentation et calcul avec des types dans des langages à typage dynamique).
Jim E. Newton
2018 — conf
Strategies for TYPECASE Optimization.
ELS
Jim E. Newton, Didier Verna
2017 — conf
Programmatic Manipulation of Common Lisp Type Specifiers.
ELS
Jim E. Newton, Didier Verna, Maximilien Colange
2016 — conf
Type-Checking of Heterogeneous Sequences in Common Lisp.
ELS
Jim E. Newton, Akim Demaille, Didier Verna
2008 — conf
Custom Specializers in Object-Oriented Lisp.
ELS
Jim E. Newton, Christophe Rhodes
2008 J jnl
Custom Specializers in Object-Oriented Lisp.
J. Univers. Comput. Sci.
Jim E. Newton, Christophe Rhodes
2008 — conf
VNS: Namespace Facility.
ELS
Jim E. Newton