233 search results - page 25 / 47 » Computational Lambda-Calculus and Monads |
ENTCS
2010
13 years 7 months ago
2010
The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coprodu...
ACS
1999
13 years 7 months ago
1999
RTA
1998
Springer
13 years 11 months ago
1998
Springer
The system FT
FOSSACS
2003
Springer
14 years 22 days ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...