317 search results - page 2 / 64 » Typing References by Effect Inference |
107
click to vote
DASFAA
2010
IEEE
15 years 4 months ago
2010
IEEE
xml keyword search provides a simple and user-friendly way of retrieving data from xml databases, but the ambiguities of keywords make it difficult to effectively answer keyword qu...
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
108
click to vote
JFP
2008
14 years 11 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
ACL
1994
15 years 1 months ago
1994
It is claimed that a variety of facts concerning ellipsis, event reference, and interclausal coherence can be explained by two features of the linguistic form in question: (1) whe...