
Registered user since Sun 3 Oct 2021
Name:Devon Loehr
Country:United States
Affiliation:Princeton University
Personal website:https://dkloehr.github.io/
GitHub:https://github.com/DKLOEHR
Research interests:Programming Language design, type systems
Contributions
PADL 2023 | SwitchLog: A Logic Programming Language for Network Switches | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile