Relational Parametricity for Computational Effects

DOI10.2168/LMCS-5(3:7)2009zbMath1168.68009arXiv0906.5488MaRDI QIDQ3395102

Rasmus Ejlers Møgelberg, Alex K. Simpson

Publication date: 20 August 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0906.5488

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Relational Parametricity for Control Considered as a Computational Effect

This page was built for publication: Relational Parametricity for Computational Effects