Parametric Polymorphism — Universally

DOI10.1007/978-3-662-47709-0_7zbMath1465.68049OpenAlexW948979153MaRDI QIDQ2947462

Federico Orsanigo, Fredrik Nordvall Forsberg, Neil Ghani

Publication date: 24 September 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47709-0_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Proof-Relevant Parametricity ⋮ Universal properties for universal types in bifibrational parametricity ⋮ Bifibrational functorial semantics of parametric polymorphism ⋮ Comprehensive Parametric Polymorphism: Categorical Models and Type Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The calculus of constructions
• Categorical logic and type theory
• Fundamental concepts in programming languages
• The impact of higher-order state and control effects on local relational reasoning
• Translating dependency into parametricity
• Typed closure conversion preserves observational equivalence
• State-dependent representation independence
• A kripke logical relation between ML and assembly
• Categorical models for Abadi and Plotkin's logic for parametricity
• Bifibrational functorial semantics of parametric polymorphism
• Types, abstraction, and parametric polymorphism, part 2

This page was built for publication: Parametric Polymorphism — Universally