• Sign in
  • Sign up
conf.researchr.org / Jim Newton
  • POPL 2025 profile
  • SPLASH 2018 profile
  • ‹Programming› 2017 profile
  • ‹Programming› 2019 profile
  • ‹Programming› 2022 profile
Jim Newton

Registered user since Sun 12 Mar 2017

Name:Jim Newton
Bio:

Assistant Research Professor at EPITA Research Lab (LRE)

Country:France
Affiliation:EPITA / LRE https://www.lre.epita.fr
Personal website: https://www.lrde.epita.fr/wiki/User:Jnewton
GitHub: https://github.com/jimka2001
Research interests:Expressivity, Performance, Functional languages, Lisp, Clojure, Scala

Contributions

2025

Symposium on Practical Aspects of Declarative Languages

  • Author of Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System within the PADL 2025-track

2022

ELS

  • Committee Member in Organizing Committee within the ELS 2022-track

2019

ELS

  • 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

2018

META

  • Author of Recognizing heterogeneous sequences by rational type expression within the Meta-track

2017

ELS

  • Presenter of Programmatic Manipulation of Common Lisp Type Specifiers within the ELS 2017-track
Share
xMon 19 May 08:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up