Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus

Masahito Hasegawa. Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. In The Second Asian Workshop on Programming Languages and Systems, APLAS 01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings. pages 277-288, 2001.

Abstract

Abstract is missing.