Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Koen Jacobs
conf.researchr.org general profile
ICFP 2019 profile
PLDI 2022 profile
POPL 2020 profile
POPL 2021 profile
SPLASH 2022 profile
Registered user since Tue 1 Dec 2020
Name:
Koen Jacobs
Affiliation:
KU Leuven
Contributions
2022
SPLASH
Author of Purity of an ST monad: full abstraction by semantically typed back-translation within the OOPSLA-track
PLDI
Author of (POPL 2021) Fully Abstract from Static to Gradual within the SIGPLAN Track-track
2021
POPL
Author of Fully Abstract from Static to Gradual within the POPL-track
2020
WGT
Author of Fully Abstract from Static to Gradual within the WGT-track
2019
TyDe
Author of How to do proofs? Practically proving properties about effectful programs' results (functional pearl) within the TyDe 2019-track
Share
x
Sun 22 Dec 07:40