8512 search results - page 17 / 1703 » Computing Theory With Relevance |
111
click to vote
CCA
2009
Springer
15 years 10 months ago
2009
Springer
It is folklore particularly in numerical and computer sciences that, instead of solving some general problem f : A → B, additional structural information about the input x ∈ A ...
130
Voted
MEMBRANE
2009
Springer
15 years 10 months ago
2009
Springer
100
Voted
EUSFLAT
2009
15 years 1 months ago
2009
158
Voted
SAGT
2010
Springer
15 years 1 months ago
2010
Springer
138
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...