633 search results - page 17 / 127 » A Few Constructions on Constructors |
117
Voted
ICDT
1999
ACM
15 years 6 months ago
1999
ACM
Abstract. In this paper we present a new approach for studying aggregations in the context of database query languages. Starting from a broad de nition of aggregate function, we ad...
98
Voted
ENTCS
2006
15 years 1 months ago
2006
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...
110
click to vote
CORR
2004
Springer
15 years 1 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)...
190
click to vote
IFM
2010
Springer
14 years 11 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...
125
click to vote
CEC
2010
IEEE
14 years 5 months ago
2010
IEEE
— If a population of programs evolved not for a few hundred generations but for a few hundred thousand or more, could it generate more interesting behaviours and tackle more comp...