1103 search results - page 23 / 221 » The Relevance of Semantic Subtyping |
APAL
2008
13 years 8 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 8 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 8 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...
PEPM
2009
ACM
14 years 5 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
We present a passage relevance model for integrating syntactic and semantic evidence of biomedical concepts and topics using a probabilistic graphical model. Component models of t...