中图分类法:	TP312 版次：
著者:	Levy, Paul Blain.
题名:	Call-by-push-value : [ a functional/imperative synthesis /] / ,
出版发行:	出版地： Dordrecht ; 出版社： Kluwer Academic Publishers, 出版日期： c2003.
载体形态:	xli, 352 p. : ill. ; 25 cm.
主题词:	Programming languages (Electronic computers)