Nick Rioux

Orcid: 0000-0001-5277-8920

According to our database¹, Nick Rioux authored at least 4 papers between 2018 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.

[BibT_eX]

[DOI]

Nick Rioux

Xuejing Huang

Bruno C. d. S. Oliveira

Steve Zdancewic

Proc. ACM Program. Lang., January, 2023

2020

Computation focusing.

[BibT_eX]

[DOI]

Nick Rioux

Steve Zdancewic

Proc. ACM Program. Lang., 2020

2018

Type-preserving CPS translation of Σ and Π types is not not possible.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Fab ous Interoperability for ML and a Linear Language.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Nick Rioux

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...