
Registered user since Mon 18 Jun 2018
Name:Caleb Stanford
Country:United States
Affiliation:University of California, San Diego; University of California, Davis
Personal website:https://web.cs.ucdavis.edu/~cdstanford/
Research interests:Programming Languages, Systems, Logic
Contributions
POPL 2023 | Logic & Decidability II: Session Preview A Robust Theory of Series Parallel Graphs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile