Koen Jacobs

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 3

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Koen Jacobs, Dominique Devriese, Amin Timany
Purity of an ST monad: full abstraction by semantically typed back-translation. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Koen Jacobs, Amin Timany, Dominique Devriese
Fully abstract from static to gradual. Proc. ACM Program. Lang. 5 (POPL) (2021)
Koen Jacobs, Andreas Nuyts, Dominique Devriese
How to do proofs: practically proving properties about effectful programs' results (functional pearl). TyDe@ICFP (2019)
Gregor Broll, Hu Cao, Peter Ebben, Paul Holleis, Koen Jacobs, Johan Koolwaaij, Marko Luther, Bertrand Souville
Tripzoom: an app to improve your mobility behavior. MUM (2012)