ERD

Controlling unfolding in type theory

Project: TypeSynth

Updated at: 01-10-2024

Show more information

Project acronym TypeSynth

Reflections on existential types

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

What should a generic object be?

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

Periodic Reporting for period 1 - TypeSynth (Synthetic Methods in Program Verification)

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

A denotationally-based program logic for higher-order store

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

Free theorems from univalent reference types

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

Denotational semantics of general store and polymorphism

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

Towards a Geometry of Syntax

Project: TypeSynth

Updated at: 12-12-2023

Show more information

Project acronym TypeSynth

Data Management Plan

Project: TypeSynth

Updated at: 31-07-2023

Show more information

Project acronym TypeSynth

Resources

Selected filters:

Controlling unfolding in type theory

Reflections on existential types

What should a generic object be?

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Periodic Reporting for period 1 - TypeSynth (Synthetic Methods in Program Verification)

A denotationally-based program logic for higher-order store

Free theorems from univalent reference types

Denotational semantics of general store and polymorphism

Towards a Geometry of Syntax

Data Management Plan