Towards Deriving Type Systems and Implementations for Coroutines. - Konrad Anton; Peter Thiemann 001 (APLAS, 2010)

Typing Coroutines. - Konrad Anton; Peter Thiemann 001 (Trends in Functional Programming, 2010)