Jonathan Sterling

Registered user since Thu 26 Aug 2021

Name:Jonathan Sterling
Affiliation:Aarhus University, Denmark
Research interests:semantics, type theory, category theory, topos theory


ML 2021 Author of A metalanguage for multi-phase modularity within the ML 2021-track
POPL 2022 Author of A cost-aware logical framework within the POPL-track
ICFP 2019 Author of Implementing a Modal Dependent Type Theory within the Research Papers-track