Semantics of linear continuation-passing in call-by-name (2004)

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