478 search results - page 19 / 96 » Monads of Regular Theories |
FOCS
1992
IEEE
15 years 4 months ago
1992
IEEE
ANCS
2008
ACM
15 years 2 months ago
2008
ACM
59
Voted
JC
2007
15 years 10 days ago
2007
78
Voted
NECO
2002
15 years 3 days ago
2002
114
click to vote
POPL
2012
ACM
13 years 8 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...