2436 search results - page 2 / 488 » Comonadic Notions of Computation |
POPL
2010
ACM
13 years 11 months 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...
ACS
2008
13 years 4 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 ...
DCC
2012
IEEE
12 years 7 days ago
2012
IEEE
DCC
2011
IEEE
12 years 8 months ago
2011
IEEE
CORR
2010
Springer
13 years 4 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...