Relational Parametricity and Control

Details Relational Parametricity and Control Relational Parametricity and Control

2006-06-15

arxiv.org/abs/cs/0606072v2

LMCS 2 (3:3) 2006

Computer Science

Programming Languages

22 pages, for Logical Methods in Computer Science

Scientific paper

10.2168/LMCS-2(3:3)2006

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 second-order λ-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''.

Affiliated with

Also associated with

No associations

Rating

Relational Parametricity and Control does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Relational Parametricity and Control, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relational Parametricity and Control will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-606578