James Cheney
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Maribel Fernandezonce
- Mircea Sebeonce
- Simon Fowleronce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Nominal Matching Logic With Fixpoints | CPP 2025 | 2025-01-20 |
Extends nominal matching logic by adding mu fixed-point operator and set variables to derive an alpha-structural induction principle for any nominal binding… | ||
| Language-Integrated Query for Temporal Data | GPCE 2022 | 2022-12-06 |
Extends language-integrated query so temporal operations for TLINQ (transaction time) and VLINQ (valid time) are rewritten into plain LINQ with provably… | ||
| One Down, 699 to Go: or, synthesising compositional desugarings | OOPSLA 2021 | 2021-10-17 |
Paper claims that decomposing desugaring into an incremental desugaring extension problem plus an extensible hypothesis space makes brute-force synthesis… | ||
| nothing matches | ||