Zachary Kincaid

Registered user since Thu 18 Dec 2014

Name:Zachary Kincaid
Affiliation:Princeton University, USA
Research interests:Programming Languages, Formal Methods

Contributions

POPL 2023 When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Show activities from other conferences

Using general profile