Steven Ramsay
where else to find them
what they talk about
where they keep going back
- POPL4 editions2021–2026
on a stage with
all 8 in the filters
who talks about the same things
- Eddie Jones3 talks
- Celia Mengyue Li2 talks
- Amal Ahmed25 talks
- Steve Zdancewic19 talks
- Cyrus Omar21 talks
- Edward Lee10 talks
| title | conference | date |
|---|---|---|
| A Complementary Approach to Incorrectness Typing | POPL 2026 | 2026-01-11 |
A two-sided type system treats types as sets of normal forms rather than values and introduces a complement operator that behaves like logical negation on… | ||
| Ill-Typed Programs Don't Evaluate | Incorrectness 2024 | 2024-01-17 |
Introduces two-sided type systems — sequent-calculus judgments that allow arbitrary expressions on the left and lists of typings on the right, plus a top type… | ||
| Ill-Typed Programs Don't Evaluate | POPL 2024 | 2024-01-14 |
Introduces two-sided type systems as a sequent-style typing calculus with left rules, a top type for "all values", and a new necessity function type that… | ||
| Effect Handlers for Programmable Inference | Haskell 2023 | 2023-09-08 |
Claims a Haskell library that uses algebraic effects and effect handlers to represent models as trees of sample/observe operations and to express inference… | ||
| Higher-Order MSL Horn Constraints | POPL 2023 | 2023-01-15 |
Extends MSL to higher-order Horn constraints and gives a resolution-based decision procedure that preserves decidable satisfiability by introducing nested… | ||
| Intensional Datatype Refinement | POPL 2021 | 2021-01-17 |
A refinement type system verifies that pattern-match failures cannot occur by adding finitely many constructor-subset refinements and solving set constraints… | ||
| nothing matches | ||