1768 search results - page 114 / 354 » A Logic for Algebraic Effects |
103
click to vote
VLDB
1992
ACM
15 years 4 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
106
Voted
JLP
2007
15 years 21 days ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
89
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
85
Voted
LICS
1990
IEEE
15 years 4 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
108
click to vote
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Logic soft errors are radiation induced transient errors in sequential elements (flip-flops and latches) and combinational logic. Robust enterprise platforms in sub-65nm technolog...