Konrad Anton

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Konrad Anton, Peter Thiemann
Typing Coroutines. Trends in Functional Programming (2010)
Konrad Anton, Peter Thiemann
Towards Deriving Type Systems and Implementations for Coroutines. APLAS (2010)