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

Cached

Download Links

by Masahito Hasegawa
Venue:In: Proceedings of the 6th International Symposium on Functional and Logic Programming (FLOPS2002). Aizu
Citations:13 - 4 self