A trace semantics for System F parametric polymorphism

DOI10.1007/978-3-319-89366-2_2zbMATH Open1504.68124OpenAlexW2796781183MaRDI QIDQ1652964FDOQ1652964

Authors: Guilhem Jaber, Nikos Tzevelekos 

Publication date: 17 July 2018

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

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

Mathematics Subject Classification ID

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

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)