Registered user since Fri 14 Jan 2022

Name:Reed Mullanix
Affiliation:University of Minnesota

Contributions

POPL 2023 An Order-Theoretic Analysis of Universe Polymorphism
Show activities from other conferences

Using general profile