2436 search results - page 2 / 488 » Comonadic Notions of Computation |
163
click to vote
POPL
2010
ACM
16 years 5 days ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
185
click to vote
ACS
2008
15 years 5 months ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
127
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for glo...