Linearly used effects: Monadic and CPS transformations into the linear lambda calculus (2002)

by M Hasegawa
Venue:In Proc. 6th International Symposium on Functional and Logic Programming (FLOPS), volume 2441 of LNCS