Registered user since Mon 11 Nov 2019
Name:Michael B. James
Country:United States
Affiliation:University of California at San Diego
Personal website: http://michaelbjames.com
X (Twitter): https://x.com/LambdaLinguist
GitHub: https://github.com/michaelbjames
Research interests:Programming Languages, Program Synthesis, Human-Computer Interactions
Contributions
PLDI 2024-profile
View general profile
View general profile