According to our database1, Koen Jacobs authored at least 3 papers between 2012 and 2021.
Legend:Book In proceedings Article PhD thesis Other
How to do proofs: practically proving properties about effectful programs' results (functional pearl).
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019
Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia, 2012