Linearity, Control Effects, and Behavioral Types.

Lus Caires, Jorge A. Prez

Browse the full ESOP paper archive.