Reed Mullanix

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Theoretic Analysis

Management System

Top Venues

Proc. ACM Program. Lang.

Publications

Kuen-Bang Hou (Favonia), Carlo Angiuli, Reed Mullanix
An Order-Theoretic Analysis of Universe Polymorphism. Proc. ACM Program. Lang. 7 (POPL) (2023)