Alex Knauth -

Registered user since Thu 2 Nov 2017

Name:Alex Knauth

Country:United States

Affiliation:Northeastern University

Personal website:https://github.com/AlexKnauth/

Contributions

Scheme 2021	Author of Prototypes: Object-Orientation, Functionally within the Scheme 2021-track
POPL 2018	Author of Symbolic Types for Lenient Symbolic Execution within the Artifact Evaluation-track Author of Symbolic Types for Lenient Symbolic Execution within the Research Papers-track
POPL 2017	Author of Type Systems as Macros within the POPL-track