Nick Rioux
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
who talks about the same things
- Steve Zdancewic19 talks
- Deepak Garg18 talks
- Yizhou Zhang13 talks
- Tiark Rompf24 talks
- Amal Ahmed25 talks
- William J. Bowman13 talks
| title | conference | date |
|---|---|---|
| Functional Meaning for Parallel Streaming | PLDI 2025 | 2025-06-16 |
A core language called λ∨ formalizes deterministic parallel streaming by making values monotonically increase under a streaming order that matches Scott… | ||
| Granite: Compositional Functional Logic Programming | HOPE 2023 | 2023-09-04 |
Granite puts a join as semilattice primitive at the language core, letting parallel executions merge by associative commutative idempotent joins; it encodes… | ||
| A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F... | POPL 2023 | 2023-01-15 |
Presents F⋈, a small core language that lets intersection types, union types and overloaded functions coexist with a deterministic merge operator by enforcing… | ||
| Computation Focusing | ICFP 2020 | 2020-08-23 |
Presents a focused polymorphic call-by-push-value calculus and proves computational completeness: every well-typed term has a βη-equivalent focused… | ||
| nothing matches | ||