A Logic for Parametric Polymorphism with Effects

DOI10.1007/978-3-540-68103-8_10MaRDI QIDQ3499756zbMATH OpenOpenAlexFDO

Authors Rasmus Ejlers Møgelberg, Alex Simpson

Publication date 3 June 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/12289066/parametric_logic.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 512792
• Linear Abadi and Plotkin Logic
• scientific article; zbMATH DE number 1231605
• scientific article; zbMATH DE number 742721
• Formal parametric polymorphism

Cited in

(7)

• A variable typed logic of effects
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• scientific article; zbMATH DE number 6307924 (Why is no real title available?)
• Parametric polymorphism and semantic subtyping
• Effect polymorphism in higher-order logic (proof pearl)
• Effect polymorphism in higher-order logic (proof pearl)
• A generic complete dynamic logic for reasoning about purity and effects

This page was built for publication: A Logic for Parametric Polymorphism with Effects

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