Colin Gordon
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Chaewon Yunonce
- Marco Servettoonce
- Nick Websteronce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Capabilities, Effects, Ownership, and Behaviors | IWACO 2024 | 2024-10-21 |
Argues that capability systems must track ordering by relating a flow-sensitive static capability system to a sequential effect system whose effects are… | ||
| Java Method-Local Inner Classes are Unsound | UNSOUND 2024 | 2024-10-20 |
Claim: Java’s combination of method-local inner classes plus erased generics and class-based visibility lets a non-generic local class implicitly tied to a… | ||
| Error Localization for Sequential Effect Systems | SAS 2023 | 2023-10-22 |
Proposes a concrete algebraic trick that gives precise error sites for sequential (flow‑sensitive) effect systems by using a residual operator from residuated… | ||
| nothing matches | ||