Jonathan Sterling

Registered user since Thu 26 Aug 2021

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

Contributions

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