Edward Lee
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2023–2025
all 5 in the filters
on a stage with
all 17 in the filters
who talks about the same things
- Ondřej Lhoták11 talks
- Aleksander Boruch-Gruszecki9 talks
- Jonathan Immanuel Brachthäuser22 talks
- Magnus Madsen11 talks
- Lionel Parreaux19 talks
- Oliver Bračevac9 talks
| title | conference | date |
|---|---|---|
| Qualified Types with Boolean Algebras | OOPSLA 2025 | 2025-10-16 |
Proposes qualifier-backed effects using Boolean algebras by formalizing System F⧼:B (negation, qualifier polymorphism, subqualification) and deriving an effect… | ||
| Taking away Mutation | The Scala Workshop 2025 | 2025-10-12 |
Presents an encoding that ties mutation rights to explicit capability objects using singleton types so mutable fields can be constructed in-place then rendered… | ||
| How Intuit Uses Argo, GitOps, and AI to Boost Developer Velocity | ArgoCon NA 2024 | 2024-11-12 |
Intuit reports an 8x developer velocity gain over four years and a 60% reduction in troubleshooting time by combining Argo CD, GitOps, GitHub and AI to… | ||
| Qualifying System F-sub | OOPSLA 2024 | 2024-10-20 |
Paper claims a practical calculus System F<:Q that combines higher‑rank bounded polymorphism with a free lattice encoding of qualifier expressions, giving… | ||
| Lexical Effect Handlers, Directly | OOPSLA 2024 | 2024-10-20 |
Compiles lexically scoped algebraic effect handlers down to low-level stack switching and header frames, identifying handlers by memory address so handler… | ||
| Capturing Types (TOPLAS) | POPL 2024 | 2024-01-14 |
A minimal calculus called CC<:◻ capture calculus extends System F<: with capture sets so types record which capability-like free variables values may retain… | ||
| Simple Reference Immutability for System F-sub | OOPSLA 2023 | 2023-10-23 |
Presents a formal calculus extending System F_sub with a runtime seal operator that enforces transitive reference immutability, models records as mutable… | ||
| Panel: GitOps User Stories | KubeCon + CloudNativeCon North America 2019 | 2019-11-18 |
Git commits drive deployments, not manual kubectl: teams use Flux and a Flux Helm operator to continuously apply repo state, Flagger to do canary rollouts… | ||
| nothing matches | ||