< Back to previous page
Researcher
Koen Jacobs
- Disciplines:Computational logic and formal languages
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → 31 Oct 2022 - Informatics Section (Division)
Member
From1 Nov 2018 → 4 Aug 2020
Projects
1 - 1 of 1
- Preserving Language Abstractions: Gradual Typing and State ThreadsFrom1 Nov 2018 → 20 Dec 2022Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 4 of 4
- Preserving Language Abstractions: Gradual Typing and State Threads(2022)
Authors: Koen Jacobs, Dominique Devriese, Bart Jacobs
- Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation(2022)
Authors: Koen Jacobs, Dominique Devriese
- Fully abstract from static to gradual(2021)
Authors: Koen Jacobs, Dominique Devriese
- How to do proofs? Practically proving properties about effectful programs' results (functional pearl)(2019)
Authors: Koen Jacobs, Andreas Nuyts, Dominique Devriese
Pages: 1 - 13