1791 search results - page 31 / 359 » Two Types of Multiple-Conclusion Systems |
FMOODS
2007
13 years 9 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
LISP
2006
13 years 7 months ago
2006
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
CIE
2008
Springer
13 years 9 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
IFIP
1998
Springer
13 years 11 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
INTERACT
2007
13 years 9 months ago
2007
In many systems such as PDAs, users access data through a limited viewport. This means that users have to frequently navigate to regions that are off-screen to view important conte...