Johan Bay
where else to find them
bluesky:johanbay.bsky.social
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
who talks about the same things
- Jason Parachoniak3 talks
- Pamela Hill12 talks
- Dustin Lam5 talks
- Ekaterina Petrova6 talks
- John O'Reilly17 talks
- Alexander Nozik2 talks
| title | conference | date |
|---|---|---|
| Mechanized Logical Relations for Termination-Insensitive Noninterference | POPL 2021 | 2021-01-17 |
Paper proves that a rich information‑flow type system (recursive and existential types, System F impredicative polymorphism, label polymorphism, higher‑order… | ||
| nothing matches | ||