Cambridge University Press / Jon G. Riecke Bell Laboratories / MIT Press / ACM Press / Wiley Press / Nevin Heintze Bell Laboratories / /
Country
Germany / / /
Facility
University of Pennsylvania / /
IndustryTerm
information-flow systems / machinery / type systems / security flow control algorithm / security protocols / memory management / /
Organization
Cambridge University / Var Unit / National Science Foundation / University of Pennsylvania / MIT / Stevens Institute of Technology / Dependency Core Calculus DCC / /
Person
Anindya Banerjee / Eugenio Moggi / L. Peyton Jones / / /
Position
editor / RT / decentralized model for information flow control / /
ProgrammingLanguage
Haskell / Lisp / DC / /
ProvinceOrState
Pennsylvania / /
PublishedMedium
Formal Aspects of Computing / Electronic Notes in Theoretical Computer Science / /
RadioStation
Core / /
Technology
Functional Programming / security flow control algorithm / flow control / Dependency Mart´ın Abadi Systems Research Center Compaq ma@pa.dec.com Anindya Banerjee Stevens Institute of Technology / security protocols / caching / Operating Systems / /
A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed]