Registered user since Tue 17 Mar 2015
Name:Mae Milano
Country:United States
Affiliation:Princeton University
Personal website: http://www.languagesforsyste.ms
X (Twitter): https://x.com/mbpmilano
GitHub: https://github.com/mpmilano
Research interests:Programming Languages, Systems
Contributions
2025
SPLASH
- Session Chair of Math and Music (part of FARM)
- Session Chair of Language Design (part of FARM)
- General Chair in Organizing Committee within the FARM-track
- Interactive Theorem Provers for Proof Education
- Session Chair of Performance Evening (part of FARM)
- Session Chair of Functional Programming (part of FARM)
Using general profile