Introduction
Foreword
-
- Published online by Cambridge University Press:
- 15 October 2004, pp. 275-276
-
- Article
- Export citation
Research Article
Termination checking with types
-
- Published online by Cambridge University Press:
- 15 October 2004, pp. 277-319
-
- Article
- Export citation
Coproducts of Ideal Monads
-
- Published online by Cambridge University Press:
- 15 October 2004, pp. 321-342
-
- Article
- Export citation
Comparing the succinctness of monadic query languages over finite trees
-
- Published online by Cambridge University Press:
- 15 October 2004, pp. 343-373
-
- Article
- Export citation
An abstract monadic semantics for value recursion
-
- Published online by Cambridge University Press:
- 15 October 2004, pp. 375-400
-
- Article
- Export citation