Follow
Nick Rioux
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
232018
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
132018
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
52023
Computation Focusing
N Rioux, S Zdancewic
Proceedings of the ACM on Programming Languages, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–4