A perspective on the dependency core calculus
Paper in proceeding, 2018
IFC
Haskell
DCC
Lambda Caluclus
Noninterference
Author
Maximilian Algehed
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Proceedings of the ACM Conference on Computer and Communications Security
15437221 (ISSN)
24-28978-145035993-1 (ISBN)
Toronto, Canada,
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1145/3264820.3264823