Nick Rioux

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 4

Top Topics

Metadata Schemas

Microsoft Sql Server

Top Venues

Proc. ACM Program. Lang.

Publications

Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈. Proc. ACM Program. Lang. 7 (POPL) (2023)
Nick Rioux, Steve Zdancewic
Computation focusing. Proc. ACM Program. Lang. 4 (ICFP) (2020)
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
Type-preserving CPS translation of Σ and Π types is not not possible. Proc. ACM Program. Lang. 2 (POPL) (2018)
Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed
Fab ous Interoperability for ML and a Linear Language. FoSSaCS (2018)