Skip to main content
Article thumbnail
Location of Repository

Previous Up Next Article Citations From References: 3 From Reviews: 0

By Mr (h: N (b and Hasegawa Masahito (j-kyot-r

Abstract

Summary: “We study the equational theory of Parigot’s second-order λµ-calculus in connection with a call-by-name continuation-passing style (CPS) translation into a fragment of the secondorder λ-calculus. It is observed that the relational parametricity on the target calculus induces a natural notion of equivalence on the λµ-terms. On the other hand, the unconstrained relational parametricity on the λµ-calculus turns out to be inconsistent with this CPS semantics. Following these facts, we propose to formulate the relational parametricity on the λµ-calculus in a constrained way, which might be called ‘focal parametricity’.” References 1. M. Abadi, L. Cardelli, and P.-L. Curien. Formal parametric polymorphism. Theoret. Comput

Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.353.3112
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.