Polymorphic Delimited Continuations-Reference-Cited by-同舟云学术

Polymorphic Delimited Continuations

Published: Issue: Volume: Page:239-254
ISSN:
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Asai Kenichi,Kameyama Yukiyoshi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-76637-7_16.pdf

Reference21 articles.

1. Asai, K.: Logical Relations for Call-by-value Delimited Continuations. Trends in Functional Programming 6, 63–78 (2007)

2. Asai, K.: On Typing Delimited Continuations: Three New Solutions to the Printf Problem. See http://pllab.is.ocha.ac.jp/~asai/papers/ (submitted, 2007)

3. Asai, K., Kameyama, Y.: Polymorphic Delimited Continuations. Technical Report CS-TR-07-10, Dept. of Computer Science, University of Tsukuba (September 2007)

4. Danvy, O.: An Analytical Approach to Program as Data Objects. DSc thesis, Department of Computer Science, University of Aarhus, Aarhus, Denmark (2006)

5. Danvy, O., Filinski, A.: A Functional Abstraction of Typed Contexts. Technical Report 89/12, DIKU, University of Copenhagen (July 1989)

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

1. Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C;Proceedings of the ACM on Programming Languages;2021-08-22

2. Polymorphic types and effects with Boolean unification;Proceedings of the ACM on Programming Languages;2020-11-13

3. Handling bidirectional control flow;Proceedings of the ACM on Programming Languages;2020-11-13

4. Signature restriction for polymorphic algebraic effects;Proceedings of the ACM on Programming Languages;2020-08-02

5. On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control;Journal of Functional Programming;2019