Steven Schaefer -

Registered user since Thu 22 May 2025

Name:Steven Schaefer

Country:United States

Affiliation:University of Michigan

Personal website: https://stevenschaefer.net

Contributions

2027

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2025

PLDI

Author of Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus within the PLDI Research Papers-track