8021 search results - page 3 / 1605 » A Type System for Tom |
JDI
2007
15 years 4 months ago
2007
154
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
146
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...