![Michael B. James](https://pldi23.sigplan.org/getProfileImage/michaelbjames/a99aa3a6-6575-4b07-b95c-2d486d0e781f/small.jpg?1711497940000)
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 2023-profile
View general profile
View general profile