John Boyland

Registered user since Thu 5 Jun 2014

Name:John Boyland
Country:United States
Affiliation:Univeristy of Wisconsin, Milwaukee
Research interests:Permissions, Logic, Attribute Grammars

Contributions

POPL 2023 Using a Proof Assistant to Teach PL Theory, Without the Overhead
Show activities from other conferences

Using general profile