Koka: Programming with Row Polymorphic Effect Types

Leijen, Daan·2014·Electronic Proceedings in Theoretical Computer Science