Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dawn Michaelson
conf.researchr.org general profile
PLDI 2025 profile
SPLASH 2020 profile
Registered user since Thu 29 May 2025
Name:
Dawn Michaelson
Affiliation:
University of Minnesota
Contributions
2025
PLDI
Author of [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages within the PLDI Research Papers-track
2020
SLE
Author of Monadification of Attribute Grammars within the SLE-track
Share
x
Wed 24 Sep 01:12