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

Personal website: https://www.lrde.epita.fr/wiki/User:Jnewton

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