Stateful Contracts for Affine Types

Tov, Jesse A., Pucella, Riccardo·2010·Lecture Notes in Computer Science
DOI 10.1007/978-3-642-11957-6_29