Non-parametric parametricity

DOI10.1017/S0956796811000165zbMATH Open1262.68026OpenAlexW2634443969MaRDI QIDQ4918243FDOQ4918243

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

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

zbMATH Keywords

dynamic type generationlanguage with non-parametric polymorphism

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• State-dependent representation independence
• Generative type abstraction and type-level computation
• Non-parametric parametricity
• Title not available (Why is that?)
• 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)