Non-parametric parametricity

DOI10.1017/S0956796811000165MaRDI QIDQ4918243zbMATH OpenOpenAlexFDO

Authors Georg Neis, Derek Dreyer, Andreas Rossberg

Publication date 24 April 2013

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796811000165

zbMATH Keywords

dynamic type generationlanguage with non-parametric polymorphism

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Non-parametric parametricity
• Parametricity, type equality, and higher-order polymorphism
• Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
• State-dependent representation independence

Cites work

• A bisimulation for dynamic sealing
• A bisimulation for type abstraction and recursion
• Acute: High-level programming language design for distributed computation
• Dynamic typing in polymorphic languages
• FUNCTIONAL PEARL Type-safe cast
• Parametricity and variants of Girard's \(J\) operator
• Relational interpretations of recursive types in an operational setting.

Cited in

(5)

• State-dependent representation independence
• Generative type abstraction and type-level computation
• Non-parametric parametricity
• scientific article; zbMATH DE number 7407781 (Why is no real title available?)
• Relational cost analysis in a functional-imperative setting

This page was built for publication: Non-parametric parametricity

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