A trace semantics for System F parametric polymorphism

DOI10.1007/978-3-319-89366-2_2MaRDI QIDQ1652964zbMATH OpenOpenAlexFDO

Authors Guilhem Jaber, Nikos Tzevelekos

Publication date 17 July 2018

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-89366-2_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Trace semantics for polymorphic references
• scientific article; zbMATH DE number 2185651
• Formal parametric polymorphism
• A general framework for relational parametricity
• Parametric polymorphism and operational equivalence

Cited in

(3)

• Trace semantics for polymorphic references
• (Towards a) statistical probabilistic lazy lambda calculus
• Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms

This page was built for publication: A trace semantics for System F parametric polymorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1652964)