Charlie Walpole
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 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| nothing matches | ||