Koen Jacobs
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
all 5 in the filters
who talks about the same things
- Matías Toro6 talks
- Éric Tanter12 talks
- Michael M. Vitousek3 talks
- Eric Giovannini2 talks
- John Peter Campora III5 talks
- Max S. New8 talks
| title | conference | date |
|---|---|---|
| Robust Dynamic Embedding for Gradual Typing | ICFP 2025 | 2025-10-12 |
Defines Robust Dynamic Embedding as a new adequacy criterion: if a dynamic component semantically satisfies a static type then its embedding ascribed to that… | ||
| Purity of an ST monad: full abstraction by semantically typed back-translation | OOPSLA 2022 | 2022-12-05 |
Proves that embedding a pure call-by-value language into an extension with an ST monad is fully abstract: contextual equivalences from the pure language remain… | ||
| Fully Abstract from Static to Gradual | POPL 2021 | 2021-01-17 |
Proposes that the embedding from static into gradual languages must be fully abstract embedding — it preserves and reflects contextual equivalence — and shows… | ||
| nothing matches | ||