Frederik Lerbjerg Aagaard

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Functional Programs

Declarative Semantics

Top Venues

Publications

Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal
A denotationally-based program logic for higher-order store. CoRR (2023)
Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal
Unifying cubical and multimodal type theory. CoRR (2022)