Koen Jacobs -

Registered user since Tue 1 Dec 2020

Name:Koen Jacobs

Affiliation:KU Leuven

Contributions

SPLASH 2022	Author of Purity of an ST monad: full abstraction by semantically typed back-translation within the OOPSLA-track
PLDI 2022	Author of (POPL 2021) Fully Abstract from Static to Gradual within the SIGPLAN Track-track
POPL 2021	Author of Fully Abstract from Static to Gradual within the POPL-track
WGT 2020	Author of Fully Abstract from Static to Gradual within the WGT-track
TyDe 2019	Author of How to do proofs? Practically proving properties about effectful programs' results (functional pearl) within the TyDe 2019-track