Search

Who We Are
What We Do
Problem and Goal Policies Mechanisms Metrics Optimizations
Projects
SEVER&PROTECT
Publications
News
Standards and Interfaces
Contact

Authors

Benjamin C. Pierce
Catalin Hritcu
Nikos Vasilakis
Raphael Rubin
Silviu Chiricescu
Thomas F. Knight, Jr.
Udit Dhawan
Albert Kwon
Kaiyu Zhang
Perk Lun Lim

«
»

© 2024 University of Pennsylvania. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite