Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nick Rioux
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2023 profile
POPL 2022 profile
POPL 2023 profile
Registered user since Thu 25 Jun 2020
Name:
Nick Rioux
Country:
United States
Affiliation:
University of Pennsylvania
X (Twitter):
https://x.com/nickrioux
Contributions
2023
HOPE
Author of Granite: Compositional Functional Logic Programming within the HOPE 2023-track
POPL
Author of A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ within the POPL-track
2022
WITS
Author of The Expression Problem and Theorem Proving (discussion) within the WITS 2022-track
2020
ICFP
Author of Computation Focusing within the ICFP Program-track
Share
x
Tue 5 Dec 19:15
