1081 search results - page 98 / 217 » Type Inference of SELF |
134
click to vote
LFCS
1992
Springer
15 years 8 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
114
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...
149
click to vote
ACL
2012
13 years 6 months ago
2012
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
135
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
213
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...