"Linearity, Control Effects, and Behavioral Types."

Luís Caires, Jorge A. Pérez (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics