Towards Deriving Type Systems and Implementations for Coroutines.

Konrad Anton, Peter Thiemann

Browse the full APLAS paper archive.