1768 search results - page 53 / 354 » A Logic for Algebraic Effects |
132
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
109
click to vote
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
CSUR
1999
15 years 9 days ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
110
Voted
FSS
2006
15 years 20 days ago
2006
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general comple...
104
click to vote
DOLAP
2004
ACM
15 years 6 months ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...