Author:
Plotkin Gordon,Pretnar Matija
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;N. Benton,2002
2. Benton, N., Kennedy, A.: Exceptional syntax. Journal of Functional Programming 11(4), 395–410 (2001)
3. Clocksin, W.F., Mellish, C.: Programming in Prolog, 3rd edn. Springer, Heidelberg (1987)
4. Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, London (2000)
5. Filinski, A.: Representing layered monads. In: 26th Symposium on Principles of Programming Languages, pp. 175–188 (1999)
Cited by
150 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Making a Curry Interpreter using Effects and Handlers;Proceedings of the 17th ACM SIGPLAN International Haskell Symposium;2024-08-28
2. Specification and Verification for Unrestricted Algebraic Effects and Handling;Proceedings of the ACM on Programming Languages;2024-08-15
3. Parallel Algebraic Effect Handlers;Proceedings of the ACM on Programming Languages;2024-08-15
4. Abstracting Effect Systems for Algebraic Effect Handlers;Proceedings of the ACM on Programming Languages;2024-08-15
5. Associated Effects: Flexible Abstractions for Effectful Programming;Proceedings of the ACM on Programming Languages;2024-06-20