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.
Personal website: http://lamdu.org
Research interests: Programming Languages, Advanced Type Systems, Static Analysis, Systems Programming
|LIVE 2019||Author of Steady Typing within the LIVE 2019-track|
|Show activities from other conferences|
View general profile