Relational parametricity for control considered as a computational effect

DOI10.1016/J.ENTCS.2007.02.040zbMATH Open1316.68041OpenAlexW2112242174MaRDI QIDQ5262944FDOQ5262944

Authors Rasmus Ejlers Møgelberg, Alex Simpson 

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.040

zbMATH Keywords

controlcomputational effectsdenotational semanticsparametric polymorphism

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Relational Parametricity for Computational Effects
• Relational Parametricity and Control
• Parametric polymorphism and operational equivalence
• scientific article; zbMATH DE number 742721
• Relational limits in general polymorphism

Cites work

• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• scientific article; zbMATH DE number 1770055 (Why is no real title available?)
• scientific article; zbMATH DE number 2120508 (Why is no real title available?)
• A small complete category
• Categorical models for Abadi and Plotkin's logic for parametricity
• Classical logic, continuation semantics and abstract machines
• Computer Science Logic
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Functorial polymorphism
• Linear Abadi and Plotkin Logic
• Notions of computation and monads
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• Parametric polymorphism and operational equivalence
• Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
• Proofs of strong normalisation for second order classical natural deduction
• Quotients of countably based spaces are not closed under sobrification
• Relational Parametricity and Control
• Relational Parametricity for Computational Effects
• The Discrete Objects in the Effective Topos

Cited in

(4)

• Relational Parametricity and Control
• The impact of higher-order state and control effects on local relational reasoning
• The impact of higher-order state and control effects on local relational reasoning
• Relational Parametricity for Computational Effects

This page was built for publication: Relational parametricity for control considered as a computational effect

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