Additive types in quantitative type theory

DOI10.1007/978-3-031-15298-6_16OpenAlexW4297809334MaRDI QIDQ6160747FDOQ6160747

Authors: Vít Šefl, Tomáš Svoboda 

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15298-6_16

Recommendations

• Syntax and semantics of quantitative type theory
• Static typing for a substructural lambda calculus
• Type classes for lightweight substructural types
• Dependent ML An approach to practical programming with dependent types
• scientific article; zbMATH DE number 1223720

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• A tutorial implementation of a dependently typed lambda calculus
• A linear logical framework
• A core quantitative coeffect calculus
• Integrating linear and dependent types
• I got plenty o' nuttin'
• Syntax and semantics of quantitative type theory

This page was built for publication: Additive types in quantitative type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160747)