SPLASH 2023 (series) / Michael B. James
![Michael B. James](https://2023.splashcon.org/getProfileImage/michaelbjames/272e8604-2f3c-4832-8849-6549fe4e9574/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
SPLASH 2023-profile
View general profile
View general profile