Registered user since Mon 29 Dec 2014
Name:J. Garrett Morris
Country:United States
Affiliation:University of Iowa
Personal website: http://jgbm.github.io
X (Twitter): https://x.com/GarrettAtUI
GitHub: https://github.com/jgbm
Contributions
2023
ICFP
- Co-chair in Program Committee within the Student Research Competition-track
- Student Research Competition Co-Chair in Organizing Committee
- Committee Member in Poster Committee within the Student Research Competition-track
- Student research contest talks
- Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
- Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
ICFP 2023-profile
View general profile
View general profile