3116 search results - page 118 / 624 » Positively dependent types |
163
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
153
click to vote
JSC
2002
15 years 3 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
132
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Modeling term dependence has been shown to have a significant positive impact on retrieval. Current models, however, use sequential term dependencies, leading to an increased que...
155
click to vote
LACL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
111
click to vote
SRDS
1997
IEEE
15 years 8 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...