Jim Newton

Publications

Communication dans un congrès (5)

Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System Jim E Newton PADL 2025 (Practical Aspects of Declarative Languages), Jan 2025, Denver, CO (US), United States. pp.18-34, ⟨10.1007/978-3-031-84924-4_2⟩ Communication dans un congrès hal-04923150v1
Recognizing heterogeneous sequences by rational type expression Jim E Newton,Didier E Verna the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, Nov 2018, Boston, United States. ⟨10.1145/3281074.3281077⟩ Communication dans un congrès hal-01880226v1
Strategies for typecase optimization Jim E Newton,Didier E Verna European Lisp Symposium, Apr 2018, Marbella, Spain Communication dans un congrès hal-01770939v1
Programmatic Manipulation of Common Lisp Type Specifiers Jim E Newton,Didier E Verna,Maximilien Colange European Lisp Symposium 2017, Apr 2017, Brussels, Belgium. ⟨10.1145/1235⟩ Communication dans un congrès hal-01639566v1
Type-Checking of Heterogeneous Sequences in Common Lisp Jim E Newton,Akim E Demaille,Didier E Verna European Lisp Symposium 2016, May 2016, Krakow, Poland Communication dans un congrès hal-01380792v1

Article dans une revue (1)

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams Jim E Newton,Didier E Verna ACM Transactions on Computational Logic, In press Article dans une revue hal-01880774v1