Two studies examined depressives' working models of others and the relative contribution of
these models and depression to relationship functioning. Respondents reported on their …

Message-based communication offers the potential benefits of providing stronger
specification and cleaner separation between components. Compared with shared-memory …

Grammarware comprises grammars and all grammar-dependent software. The term
grammar is meant here in the sense of all established grammar formalisms and grammar …

Session types support a type-theoretic formulation of structured patterns of communication,
so that the communication behaviour of agents in a distributed system can be verified by …

A session takes place between two parties; after establishing a connection, each party
interleaves local computations with communications (sending or receiving) with the other …

Alms is a general-purpose programming language that supports practical affine types. To
offer the expressiveness of Girard's linear logic while keeping the type system light and …

Session types allow communication protocols to be specified type-theoretically so that
protocol implementations can be verified by static type-checking. We extend previous work …

We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static type checking. A session type …

A session type is an abstraction of a set of sequences of heterogeneous values sent and
received over a communication channel. Session types can be used for specifying stream …

Session types are a means of statically encoding patterns of interaction between two
communicating parties. This paper explores a distributed calculus with session types in …