Morgenstern, Jamie; Licata, Daniel R. Security-typed programming within dependently typed programming. (English) Zbl 1323.68220 Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 169-180 (2010). Cited in 1 Document MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68N15 Theory of programming languages 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:Agda; dependent types; security typed programming Software:Ynot; Aglet; AURA; Agda PDFBibTeX XMLCite \textit{J. Morgenstern} and \textit{D. R. Licata}, in: Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP '10, Baltimore, MD, USA, September 27--29, 2010. New York, NY: Association for Computing Machinery (ACM). 169--180 (2010; Zbl 1323.68220) Full Text: DOI