Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nick Rioux
conf.researchr.org general profile
ICFP 2020 profile
POPL 2022 profile
POPL 2023 profile
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
Share
x
Wed 1 Feb 13:10