Security-typed programming within dependently typed programming

DOI10.1145/1863543.1863569zbMath1323.68220OpenAlexW2106393422MaRDI QIDQ5176937

Jamie Morgenstern, Daniel R. Licata

Publication date: 5 March 2015

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

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

zbMATH Keywords

dependent typesAgdasecurity typed programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Flexible dynamic information flow control in the presence of exceptions ⋮ Aglet

Uses Software

• Agda
• AURA
• Ynot

This page was built for publication: Security-typed programming within dependently typed programming