Eyal Lotem

Registered user since Mon 5 Nov 2018

Name:Eyal Lotem
Bio:

Codeveloper of the Lamdu programming language and IDE.

2 decades of industry experience, mostly in systems programming and high-performance, high-reliability distributed computing.

Affiliation:Lamdu
Personal website:http://lamdu.org
Research interests:Programming Languages, Advanced Type Systems, Static Analysis, Systems Programming

Contributions

LIVE 2019 Author of Steady Typing within the LIVE 2019-track
LIVE 2018 Author of Scaling the REPL Experience within the LIVE 2018-track
SPLASH 2018 Author of Scaling the REPL Experience within the Posters-track