Access control in a core calculus of dependency

DOI10.1145/1159803.1159839zbMath1321.68134OpenAlexW2017060815MaRDI QIDQ5501474

Martín Abadi

Publication date: 3 August 2015

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

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

zbMATH Keywords

typesauthorization

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Type-Based Access Control in Data-Centric Systems ⋮ Game Semantics for Access Control ⋮ Noninterference in a predicative polymorphic calculus for access control ⋮ Access Control in a Core Calculus of Dependency

This page was built for publication: Access control in a core calculus of dependency