Theoretical foundations for compensations in flow composition languages.

Roberto Bruni, Hernn C. Melgratti, Ugo Montanari

Browse the full POPL paper archive.