Comprehensive Parametric Polymorphism: Categorical Models and Type Theory

DOI10.1007/978-3-662-49630-5_1zbMath1475.68061OpenAlexW2342903762MaRDI QIDQ2811329

Fredrik Nordvall Forsberg, Neil Ghani, Alex K. Simpson

Publication date: 10 June 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://strathprints.strath.ac.uk/56242/

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Universal properties for universal types in bifibrational parametricity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
• Comprehension categories and the semantics of type dependency
• Categorical logic and type theory
• Formal parametric polymorphism
• Fundamental concepts in programming languages
• Proofs for free
• Parametric Polymorphism — Universally
• Categorical semantics for higher order polymorphic lambda calculus
• Parametricity and local variables
• Introduction to generalized type systems
• A relationally parametric model of dependent type theory
• Categorical models for Abadi and Plotkin's logic for parametricity
• A presheaf model of parametric type theory
• Bifibrational functorial semantics of parametric polymorphism

This page was built for publication: Comprehensive Parametric Polymorphism: Categorical Models and Type Theory