A. Press / ACM Press / French CNRS Program Telecommunications / E NV / CONCUR / /
Currency
pence / / /
IndustryTerm
tolerant operating systems / type checking algorithm / wide-area distributed systems / chemical metaphor / Internet Programming Languages / paint pot / type-checking algorithm / chemical abstract model / type systems / algorithmic systems / type reconstruction algorithm / /
Organization
Ecole Normale Superieure / Association for Computing Machinery / /
Person
Safe Ambients / Giuseppe Castagna / /
Position
editor / Security Manager / programmer / /
ProgrammingLanguage
Java / /
SportsEvent
EPL / /
Technology
Virtual Machine / type-checking algorithm / type reconstruction algorithm / Java / type checking algorithm / typing algorithm / Dom / operating systems / 5.1 Typing Algorithm / /
Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice