Not registered as user yet

Name:Val Tannen
Affiliation:University of Pennsylvania, USA

Contributions

CoqPL 2022 Tealeaves: Categorical structures for syntax
Show activities from other conferences

POPL 2022-profile
View general profile