Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alex Knauth
conf.researchr.org general profile
ICFP 2021 profile
POPL 2017 profile
POPL 2018 profile
SPLASH 2023 profile
Registered user since Thu 2 Nov 2017
Name:
Alex Knauth
Country:
United States
Affiliation:
independent
Personal website:
https://github.com/AlexKnauth/
Contributions
2023
SPLASH
Author of Rhombus: A New Spin on Macros without All the Parentheses within the OOPSLA-track
2021
Scheme
Author of Prototypes: Object-Orientation, Functionally within the Scheme 2021-track
2018
POPL
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
2017
POPL
Author of Type Systems as Macros within the POPL-track
Share
x
Sat 21 Dec 19:28
