Linearly Used Eects: Monadic and CPS Transformations into the Linear Lambda Calculus (0)

by M Hasegawa
Venue:In: Proceedings of the 6th International Symposium on Functional and Logic Programming (FLOPS2002). Aizu