Author:
Schrijvers Tom,Wu Nicolas,Desouter Benoit,Demoen Bart
Reference42 articles.
1. A. Bauer and M. Pretnar. Programming with algebraic effects and handlers, 2012. arXiv:1203.1539.
2. M. Blazevic. monad-coroutine: Coroutine monad transformer for suspending and resuming monadic computations, 2010. http://hackage.haskell.org/package/monad-coroutine.
3. E. Brady. Programming and reasoning with algebraic effects and dependent types. In Proceedings of the 18th ACM SIGPLAN International Conference on Functional programming, ICFP '13, pages 133--144. ACM, 2013.
4. B. Braßel, M. Hanus, and F. Huch. Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming, 2004(6), 2004.
5. M. Carlsson and P. Mildner. SICStus Prolog - The first 25 years. Theory and Practice of Logic Programming, 12(1-2):35--66, 2012.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Disjunctive Delimited Control;Theory and Practice of Logic Programming;2023-04-11
2. Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects;Proceedings of the ACM on Programming Languages;2023-01-09
3. Disjunctive Delimited Control;Logic-Based Program Synthesis and Transformation;2022
4. Doo bee doo bee doo;Journal of Functional Programming;2020
5. Syntax and Semantics for Operations with Scopes;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09