• Sign in
  • Sign up
conf.researchr.org / Nick Rioux
  • ICFP 2020 profile
  • POPL 2022 profile
  • POPL 2023 profile
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

Share
xWed 1 Feb 13:10
using conf.researchr.org (v1.58.0)
Support page
Sign Up