77 search results - page 11 / 16 » Semantic Subtyping |
ACL
2006
13 years 9 months ago
2006
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...
APAL
2008
13 years 7 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
ISCI
2007
13 years 7 months ago
2007
The entity–relationship (ER) model, a powerful means for business and data modeling, needs to be enriched with new semantics as the real world changes and its understanding impr...
ENTCS
2002
13 years 7 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...