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