Simple Noninterference from Parametricity
Paper i proceeding, 2019
Författare
Maximilian Algehed
Chalmers, Data- och informationsteknik, Funktionell programmering
Jean-Philippe Bernardy
Programvaruteknik
Proceedings of the ACM on Programming Languages
2475-1421 (eISSN)
Berlin, Germany,
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1145/3341693