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

Masahito Hasegawa

Browse the full APLAS paper archive.