• Sign in
  • Sign up
conf.researchr.org / Nick Rioux
  • ICFP 2020 profile
  • ICFP 2023 profile
  • PLDI 2025 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
X (Twitter): https://x.com/nickrioux

Contributions

2025

PLDI

  • Author of Functional Meaning for Parallel Streaming within the PLDI Research Papers-track

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
xWed 18 Jun 19:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up