![John Boyland](https://popl23.sigplan.org/getProfileImage/johnboyland/f99f38ce-7c68-4f0d-9fc5-f49f63903423/small.jpg?1711522481000)
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