251 search results - page 7 / 51 » Pure Type Systems without Explicit Contexts |
110
click to vote
POPL
2003
ACM
15 years 7 months 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...
119
Voted
TCS
2008
15 years 2 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...
130
Voted
CONCUR
2007
Springer
15 years 8 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...
103
Voted
FLAIRS
2004
15 years 4 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...
154
Voted
CL
2002
Springer
15 years 2 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 ...