Dependent Information Flow Types

DOI10.1145/2676726.2676994zbMath1345.68111OpenAlexW2060710422MaRDI QIDQ2819817

Luísa Lourenço, Luís Caires

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

information flowdependent type systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Higher-Ranked Annotation Polymorphic Dependency Analysis ⋮ Secure information flow connections ⋮ Information-flow control on ARM and POWER multicore processors ⋮ Hybrid information flow control for low-level code ⋮ A dependent dependency calculus ⋮ Unnamed Item ⋮ Only connect, securely

This page was built for publication: Dependent Information Flow Types