Towards Deriving Type Systems and Implementations for Coroutines-Reference-Cited by-同舟云学术

Towards Deriving Type Systems and Implementations for Coroutines

Published:2010 Issue: Volume: Page:63-79
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Anton Konrad,Thiemann Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17164-2_6

Reference21 articles.

1. Anton, K., Thiemann, P.: Typing coroutines. In: Page, R., Zsók, V., Horváth, Z. (eds.) Eleventh Symposium on Trends in Functional Programming (draft proceedings), pp. 91–105. University of Oklahoma Printing Services (2010)

2. Lecture Notes in Computer Science;K. Asai,2007

3. Blazevic, M.: monad-coroutine: Coroutine monad transformer for suspending and resuming monadic computations (2010), http://hackage.haskell.org/package/monad-coroutine

4. Carette, J., Kiselyov, O., Chieh Shan, C.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5), 509–543 (2009)

5. Conway, M.E.: Design of a separable transition-diagram compiler. ACM Comm. 6(7), 396–408 (1963)

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

1. Typing Composable Coroutines;2023 12th International Conference on Computer Technologies and Development (TechDev);2023-10-14

2. Sound probabilistic inference via guide types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

3. A verified abstract machine for functional coroutines;Electronic Proceedings in Theoretical Computer Science;2016-06-19

4. From Outermost Reduction Semantics to Abstract Machine;Logic-Based Program Synthesis and Transformation;2014

5. QEMU/CPC;Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14;2014