User

Difference between revisions of "Jim Newton"

From LRDE

Line 10: Line 10:
   
 
* Functional Languages
 
* Functional Languages
  +
* Dynamic Languages
  +
* Rational Languages
  +
* Binary Decision Diagrams
 
* Type theory
 
* Type theory
   

Revision as of 12:39, 9 November 2018

  • Name: Jim Newton
  • Email: jnewton@lrde.epita.fr
  • Jim at LinkedIn
  • Jim at EDITE

Jim has completed his Master of Arts at Mississippi State University.
He has worked at LRDE within the Climb project since the 2015.

Research Interests

  • Functional Languages
  • Dynamic Languages
  • Rational Languages
  • Binary Decision Diagrams
  • Type theory

Work in Progress

Publications