conf.researchr.org / Eyal Lotem
Registered user since Mon 5 Nov 2018
Codeveloper of the Lamdu programming language and IDE.
2 decades of industry experience, mostly in systems programming and high-performance, high-reliability distributed computing.
Research interests:Programming Languages, Advanced Type Systems, Static Analysis, Systems Programming
|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|