Jim Newton
6
Documents
Publications
Publications
|
|
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type SystemPADL 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
|
|
|
Recognizing heterogeneous sequences by rational type expressionthe 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
|
|
|
Strategies for typecase optimizationEuropean Lisp Symposium, Apr 2018, Marbella, Spain
Communication dans un congrès
hal-01770939
v1
|
|
|
Programmatic Manipulation of Common Lisp Type SpecifiersEuropean Lisp Symposium 2017, Apr 2017, Brussels, Belgium. ⟨10.1145/1235⟩
Communication dans un congrès
hal-01639566
v1
|
|
|
Type-Checking of Heterogeneous Sequences in Common LispEuropean Lisp Symposium 2016, May 2016, Krakow, Poland
Communication dans un congrès
hal-01380792
v1
|
|
|
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision DiagramsACM Transactions on Computational Logic, In press
Article dans une revue
hal-01880774
v1
|
Chargement...
Chargement...