Open AccessA uniform type structure for secure information flow
Author(s) -
Kohei Honda,
Nobuko Yoshida
Publication year - 2002
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/565816.503281
Subject(s) - computer science , embedding , theoretical computer science , functional programming , programming language , process calculus , type theory , type (biology) , secrecy , affine transformation , calculus (dental) , mathematics , artificial intelligence , medicine , ecology , computer security , dentistry , biology , pure mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom