J. Garrett Morris - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

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

POPL

A Type-Based Approach to Divide-and-Conquer Recursion in Coq

Show activities from other conferences

POPL 2023-profile
View general profile