Resourceful Program Synthesis from Graded Linear Types

von Hughes, Jack
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

Linearity and Uniqueness: An Entente Cordiale

von Marshall, Daniel
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Graded Modal Dependent Type Theory

von Moon, Benjamin
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Graded Hoare Logic and its Categorical Semantics

von Gaboardi, Marco
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Practical aspects of declarative languages : 23rd international symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021 : proceedings

Veröffentlicht 2021

Special issue: PLACES 2016

Veröffentlicht 2017