< Back to previous page
Researcher
Koen Pauwels
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → 31 Aug 2022 - Informatics Section (Division)
Member
From1 Sep 2018 → 4 Aug 2020
Publications
1 - 3 of 3
- State Will do(2020)
Authors: Koen Pauwels, Tom Schrijvers
Pages: 204 - 225Number of pages: 22 - Handling Local State with Global State(2019)
Authors: Koen Pauwels, Tom Schrijvers
Pages: 18 - 44 - Bidirectional Type Class Instances(2019)
Authors: Koen Pauwels, Georgios Karachalias, Tom Schrijvers
Pages: 30 - 43