Theoretical Foundations for Compensations in Flow Composition Languages (2005)

by Roberto Bruni, Hernán Melgratti, Ugo Montanari
Venue:In Annual Symposium on Principles of Programming Languages POPL