Registered user since Thu 5 Jun 2014
Name:John Boyland
Country:United States
Affiliation:Univeristy of Wisconsin, Milwaukee
GitHub: https://github.com/boyland
Research interests:Permissions, Logic, Attribute Grammars
Contributions
POPL 2023-profile
View general profile
View general profile