Enriching an effect calculus with linear types (2009)

by J Egger, R E Møgelberg, A Simpson
Venue:In Proc. Computer Science Logic (CSL), volume 5771 of LNCS