Nick Rioux -

Registered user since Thu 25 Jun 2020

Name:Nick Rioux

Country:United States

Affiliation:University of Pennsylvania

Contributions

POPL 2023	Author of A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ within the POPL-track
WITS 2022	Author of The Expression Problem and Theorem Proving (discussion) within the WITS 2022-track
ICFP 2020	Author of Computation Focusing within the ICFP Program-track