Contextual types, explained. Invited tutorial

DOI10.1145/3373718.3394735MaRDI QIDQ5145616zbMATH OpenOpenAlexFDO

Authors Brigitte Pientka

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3373718.3394735

zbMATH Keywords

dependent typestype theorytype systemslogical frameworks

Mathematics Subject Classification ID

Type theory (03B38)

Recommendations

• scientific article; zbMATH DE number 1418381
• Contextual modal type theory
• A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types
• A typed context calculus
• Formalizing Soundness of Contextual Effects

Cited in

(2)

• Modeling contexts with dependent types
• Semantical analysis of contextual types

This page was built for publication: Contextual types, explained. Invited tutorial

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