Kleene Monads: Handling Iteration in a Framework of Generic Effects-Reference-Cited by-同舟云学术

Kleene Monads: Handling Iteration in a Framework of Generic Effects

Published:2009 Issue: Volume: Page:18-33
ISSN:0302-9743
Container-title:Algebra and Coalgebra in Computer Science
language:
Short-container-title:

Author:

Goncharov Sergey,Schröder Lutz,Mossakowski Till

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03741-2_3

Reference18 articles.

1. Benton, P.N., Bierman, G.M., de Paiva, V.: Computational types from a logical perspective. J. Funct. Prog. 8(2), 177–193 (1998)

2. Curien, P.-L., di Cosmo, R.: A confluent reduction for the lambda-calculus with surjective pairing and terminal object. J. Funct. Program. 6(2), 299–327 (1996)

3. Lecture Notes in Computer Science;M. Fluet,2006

4. Hinze, R.: Deriving backtracking monad transformers. ACM SIGPLAN Notices 35(9), 186–197 (2000)

5. Hyland, M., Plotkin, G.D., Power, J.: Combining effects: Sum and tensor. Theoret. Comput. Sci. 357, 70–99 (2006)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Concurrent monads for shared state;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

2. Shades of Iteration: From Elgot to Kleene;Recent Trends in Algebraic Development Techniques;2023

3. Equational Theories of Abnormal Termination Based on Kleene Algebra;Lecture Notes in Computer Science;2017

4. Iteration and Labelled Iteration;Electronic Notes in Theoretical Computer Science;2016-10

5. A divertimento on MonadPlus and nondeterminism;Journal of Logical and Algebraic Methods in Programming;2016-08