Relational parametricity for control considered as a computational effect

DOI10.1016/J.ENTCS.2007.02.040MaRDI QIDQ5262944zbMATH OpenOpenAlexFDO

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

computational effectscontroldenotational semanticsparametric polymorphism

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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

• 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
• 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?)
• 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)

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

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)