Translating dependency into parametricity

DOI10.1145/1016850.1016868zbMath1323.68168OpenAlexW4235129884MaRDI QIDQ5178029

Steve Zdancewic, Stephen Tse

Publication date: 9 March 2015

Published in: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1016850.1016868

zbMATH Keywords

securitypolymorphismtranslationHaskellnoninterferencemonadslambda calculusinformation flowlogical relationsparametricitydependencyDCCprotection contexts

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (6)

On the relations between monadic semantics ⋮ Parametric Polymorphism — Universally ⋮ Universal properties for universal types in bifibrational parametricity ⋮ Arrows for secure information flow ⋮ Noninterference in a predicative polymorphic calculus for access control ⋮ Access Control in a Core Calculus of Dependency

This page was built for publication: Translating dependency into parametricity