POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Thomas J. Porter

Registered user since Thu 14 Nov 2024

Name:Thomas J. Porter
Country:United States
Affiliation:University of Michigan
Research interests:Live Programming, Proof Assistants

Contributions

Show activities from other conferences

Using general profile