Linearity, Control Effects, and Behavioral Types

Luis Caires, Jorge A Pérez,

Publisher	Springer
Series	LNCS
Volume	Lecture Notes in Computer Science
Publisher	Springer
Series	LNCS
Volume	Lecture Notes in Computer Science

Publication