Relational Parametricity and Control
From MaRDI portal
Publication:5310662
DOI10.2168/LMCS-2(3:3)2006zbMath1126.68023MaRDI QIDQ5310662
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items (6)
Unnamed Item ⋮ Existential type systems between Church and Curry style (type-free style) ⋮ Inhabitation of polymorphic and existential types ⋮ Type checking and typability in domain-free lambda calculi ⋮ Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence ⋮ Relational Parametricity for Control Considered as a Computational Effect
This page was built for publication: Relational Parametricity and Control