A framework for substructural type systems

DOI10.1007/978-3-030-99336-8_14MaRDI QIDQ6166795zbMATH OpenOpenAlexFDO

Authors

Publication date 3 August 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-99336-8_14

zbMATH Keywords

formalised syntaxmechanised metatheoryquantitative typingsubstructural types

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Static typing for a substructural lambda calculus
• Type classes for lightweight substructural types
• scientific article; zbMATH DE number 7204444
• Higher-order representation of substructural logics
• scientific article; zbMATH DE number 1342292

Cites work

• A core quantitative coeffect calculus
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
• Bounded Linear Types in a Resource Semiring
• Coeffects: a calculus of context-dependent computation
• Distance makes the types grow stronger: a calculus for differential privacy
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• Linear logic
• Syntax and semantics of quantitative type theory
• The duality of computation
• The Logic of Bunched Implications

Cited in

(4)

• Subtyping inheritance and its application in languages for symbolic computation systems
• scientific article; zbMATH DE number 7454918 (Why is no real title available?)
• Non-linear communication via graded modal session types
• Adjoint natural deduction

This page was built for publication: A framework for substructural type systems

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