A General Framework for Relational Parametricity

DOI10.1145/3209108.3209141zbMath1497.68126arXiv1805.00067OpenAlexW2963096092MaRDI QIDQ5145366

Patricia Johann, Kristina Sojakova

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

categorical semanticsparametricitySystem F

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

What should a generic object be? ⋮ Unnamed Item

This page was built for publication: A General Framework for Relational Parametricity