Jim Newton

6
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Strategies for typecase optimization

Jim E Newton , Didier E Verna

European Lisp Symposium, Apr 2018, Marbella, Spain

Communication dans un congrès hal-01770939v1
Deposit thumbnail

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
Deposit thumbnail

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