966 search results - page 194 / 194 » Global Optimization of Compositional Systems |
135
click to vote
POPL
2012
ACM
13 years 10 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...