Non-parametric parametricity
From MaRDI portal
Publication:2936811
DOI10.1145/1596550.1596572zbMath1302.68092OpenAlexW2112121519MaRDI QIDQ2936811
Derek R. Dreyer, Andreas Rossberg, Georg Neis
Publication date: 6 January 2015
Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1596550.1596572
parametricityrepresentation independencestep-indexed logical relationsintensional type analysistype-safe cast
Related Items (2)
This page was built for publication: Non-parametric parametricity