Koen Jacobs

According to our database, Koen Jacobs authored at least 4 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Purity of an ST monad: full abstraction by semantically typed back-translation.

Koen Jacobs, Dominique Devriese, Amin Timany

Proc. ACM Program. Lang., 2022

2021

Fully abstract from static to gradual.

Koen Jacobs, Amin Timany, Dominique Devriese

Proc. ACM Program. Lang., 2021

2019

How to do proofs: practically proving properties about effectful programs' results (functional pearl).

Koen Jacobs, Andreas Nuyts, Dominique Devriese

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

2012

Tripzoom: an app to improve your mobility behavior.

Gregor Broll, Hu Cao, Peter Ebben, Paul Holleis, Koen Jacobs, Johan Koolwaaij, Marko Luther, Bertrand Souville

Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia, 2012