596 search results - page 15 / 120 » Subtyping Recursive Types |
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
JOT
2010
14 years 10 months ago
2010
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to...
99
Voted
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
75
Voted
ACL
2010
14 years 9 months ago
2010
An important relation in information extraction is the part-whole relation. Ontological studies mention several types of this relation. In this paper, we show that the traditional...
155
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania