251 search results - page 7 / 51 » Pure Type Systems without Explicit Contexts |
POPL
2003
ACM
14 years 29 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
TCS
2008
13 years 7 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
FLAIRS
2004
13 years 9 months ago
2004
The concept of context can be used with advantage in the area of Computer-Supported Cooperative Work. For many years, the awareness term has been used in this area without explici...
CL
2002
Springer
13 years 7 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...