Synthetic Methods in Program Verification

Project Information

TypeSynth

Grant agreement ID: 101065303

DOI

10.3030/101065303

Project terminated on 31 August 2023

EC signature date 16 June 2022

Start date 1 July 2022

End date 30 June 2024

Funded under

• Marie Skłodowska-Curie Actions (MSCA)

Total cost

No data

EU contribution

€ 214 934,40

Coordinated by

AARHUS UNIVERSITET
Denmark

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Other (6)

Denotational semantics of general store and polymorphism

Author(s): Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Published in: (Under Review), 2022, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arXiv.2308.02906

Towards a Geometry of Syntax

Author(s): Jonathan Sterling
Published in: (Under Review), 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arXiv.2307.09497

Free theorems from univalent reference types

Author(s): Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Published in: (Under Review), 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arXiv.2307.16608

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Author(s): Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling
Published in: (Under Review), 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arXiv.2307.05938

Controlling unfolding in type theory

Author(s): Daniel Gratzer, Jonathan Sterling,Carlo Angiuli, Thierry Coquand, and Lars Birkedal
Published in: Controlling unfolding in type theory, 2022, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arXiv.2210.05420

Reflections on existential types

Author(s): Jonathan Sterling
Published in: (Under Review), 2022, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arXiv.2210.00758

Conference proceedings (1)

A denotationally-based program logic for higher-order store

Author(s): Frederik Lerbjerg Aagaard, Jonathan Sterling, and Lars Birkedal
Published in: 39th International Conference on Mathematical Foundations of Programming Semantics, 2023, ISSN 2969-2431
Publisher: Electronic Notes in Theoretical Informatics and Computer Science
DOI: 10.48550/arXiv.2210.02169

Peer reviewed articles (1)

What should a generic object be?

Author(s): Jonathan Sterling
Published in: Mathematical Structures in Computer Science, 2023, ISSN 0960-1295
Publisher: Cambridge University Press
DOI: 10.1017/S0960129523000117