Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Koen Jacobs
conf.researchr.org general profile
ICFP 2019 profile
ICFP/SPLASH 2025 profile
PLDI 2022 profile
POPL 2020 profile
POPL 2021 profile
SPLASH 2022 profile
Registered user since Tue 1 Dec 2020
Name:
Koen Jacobs
Country:
France
Affiliation:
Inria
GitHub:
https://github.com/scaup
Contributions
2025
ICFP
Author of Robust Dynamic Embedding for Gradual Typing within the ICFP Papers-track
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 26 Oct 02:58