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

by Masahito Hasegawa
Venue:In Proceedings 6th International Symposium on Functional and Logic Programming (FLOPS2002