Jim Newton

6
Documents

Publications

Publications

Image document

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-04923150 v1
Image document

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-01880226 v1
Image document

Strategies for typecase optimization

Jim E Newton , Didier E Verna
European Lisp Symposium, Apr 2018, Marbella, Spain
Communication dans un congrès hal-01770939 v1
Image document

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-01639566 v1
Image document

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-01380792 v1