Folgen
Nick Rioux
Titel
Zitiert von
Zitiert von
Jahr
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
252018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4