Jim Newton

Registered user since Sun 12 Mar 2017

Name:Jim Newton
Bio:

PhD student at EPITA Research & Development Laboratory (LRDE)

Country:France
Affiliation:EPITA / LRDE https://www.lrde.epita.fr
Research interests:Expressivity, Performance, Functional languages, Lisp

Contributions

ELS 2019 Author of Finite Automata Theory Based Optimization within the ELS 2019-track
Author of Implementing Baker’s | SUBTYPEP Decision Procedure within the ELS 2019-track
META'18 Author of Recognizing heterogeneous sequences by rational type expression within the Meta-track
ELS 2017 Presenter of Programmatic Manipulation of Common Lisp Type Specifiers within the ELS 2017-track