2373 search results - page 118 / 475 » On the Theory of Structural Subtyping |
200
click to vote
CIKM
2005
Springer
16 years 2 days ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
271
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
148
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...
171
click to vote
EUROCAST
2005
Springer
16 years 1 days ago
2005
Springer
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs Grp is given an...
159
click to vote
COLING
2008
15 years 8 months ago
2008
We propose a spatio-temporal markup for the annotation of motion predicates in text, informed by a lexical semantic classification of these verbs. We incorporate this classificati...