1515 search results - page 15 / 303 » On the relation of aspects and monads |
ECIR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Traditional retrieval models assume that query terms are independent and rank documents primarily based on various term weighting strategies including TF-IDF and document...
BTW
2005
Springer
14 years 1 months ago
2005
Springer
: This paper presents a comfortable and customizable persistence framework that supports the access of relational databases from Java applications. In order to keep the effort for ...
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
COLING
2002
13 years 7 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...