316 search results - page 10 / 64 » Subtyping Union Types |
TACS
1997
Springer
15 years 3 months ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
110
click to vote
ACTA
2005
14 years 11 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
ESOP
1999
Springer
15 years 4 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...
123
click to vote
TLCA
1997
Springer
15 years 3 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
