Enriching an effect calculus with linear types (2009)

by J Egger, R E Møgelberg, A Simpson
Venue:In Computer Science Logic