25 search results - page 1 / 5 » Types and Subtypes for Client-Server Interactions |
ESOP
1999
Springer
13 years 9 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
FSEN
2009
Springer
13 years 8 months ago
2009
Springer
EUROPLOP
2006
13 years 6 months ago
2006
: The usability of a computer system can be improved by design of the user interface, and, as importantly, by design of usersystem interactions. Our research presents usability-imp...
CSL
2004
Springer
13 years 10 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
POPL
1991
ACM
13 years 8 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...