Typing Coroutines

Konrad Anton, Peter Thiemann. Typing Coroutines. In Rex L. Page, Zoltán Horváth, Viktória Zsók, editors, Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Volume 6546 of Lecture Notes in Computer Science, pages 16-30, Springer, 2010. [doi]

Abstract

Abstract is missing.