J. D. Christensen, Egbert Rijke: “Characterizations of modalities and lex modalities”. Journal of Pure and Applied Algebra, 226(3), online pre-publication.
Andrej Bauer, Anja Petković: “An extensible equality checking algorithm for dependent type theories”. CoRR abs/2103.07397 (2021), preprint.
Andrej Bauer: “Instance reducibility and Weihrauch degrees”, CoRR abs/2106.01734, preprint.
Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers: “Efficient Compilation of Algebraic Effect Handlers”. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021)
Danel Ahman, Matija Pretnar: “Asynchronous effects”. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021). Funded by AFOSR project FA9550-17-1-0326.
Publications in 2020 were funded by AFOSR project FA9550-17-1-0326.
Danel Ahman, Andrej Bauer: “Runners in Action”. European Symposium on Programming (ESOP 2020). Funded by AFOSR project FA9550-17-1-0326.
Andrej Bauer, Philipp G. Haselwarter, Anja Petković: “Equality Checking for General Type Theories in Andromeda 2”, International Congress on Mathematical Software (ICMS 2020). Funded by AFOSR project FA9550-17-1-0326.
Andrej Bauer, Philipp G. Haselwarter, Peter LeFanu Lumsdaine: “A general definition of dependent type theories”, CoRR abs/2009.05539 (2020), preprint. Funded by AFOSR project FA9550-17-1-0326.
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers: “Explicit effect subtyping”. J. Funct. Program. 30: E15 (2020) Funded by AFOSR project FA9550-17-1-0326.
Žiga Lukšič, Matija Pretnar: “Local algebraic effect theories”. J. Funct. Program. 30: E13 (2020) Funded by AFOSR project FA9550-17-1-0326.