316 search results - page 16 / 64 » Subtyping Union Types |
TACS
1991
Springer
15 years 6 months ago
1991
Springer
140
click to vote
TLCA
2009
Springer
15 years 9 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...
112
click to vote
ACL
2010
15 years 1 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...
130
click to vote
SCP
2002
15 years 2 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...