Evgenii Kotelnikov. Type-directed language extension for effectful computations. In Philipp Haller, Heather Miller, editors, Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014. pages 35-43, ACM, 2014. [doi]
Abstract is missing.