Nick Rioux

201820192020202120222023202420254 10 2 8 7 10 17 4

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
William J. BowmanUniversity of British ColumbiaVerified email at cs.ubc.ca
Youyou CongInstitute of Science TokyoVerified email at c.titech.ac.jp
Max S. NewAssistant Professor, University of MichiganVerified email at umich.edu
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
Xuejing HuangIRIF (previously in HKU)Verified email at irif.fr

Nick Rioux

Verified email at seas.upenn.edu


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible WJ BOWMAN, Y CONG, N RIOUX, A AHMED Proceedings of the 45th ACM SIGPLANSIGACT Symposium on Principles of …, 2018	30	2018
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ N Rioux, X Huang, BCS Oliveira, S Zdancewic Proceedings of the ACM on Programming Languages 7 (POPL), 515-543, 2023	14	2023
FabULous Interoperability for ML and a Linear Language G Scherer, M New, N Rioux, A Ahmed International Conference on Foundations of Software Science and Computation …, 2018	14	2018
Computation Focusing N Rioux, S Zdancewic Proceedings of the ACM on Programming Languages, 2020	4	2020

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year