• Sign in
  • Sign up
conf.researchr.org / Alex Knauth
  • ICFP 2021 profile
  • POPL 2017 profile
  • POPL 2018 profile
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

Share
xWed 8 Feb 05:52
using conf.researchr.org (v1.58.0)
Support page
Sign Up