Filipe Militão, Jonathan Aldrich, Luís Caires. Substructural typestates. In Nils Anders Danielsson, Bart Jacobs 0002, editors, Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14. pages 15-26, ACM, 2014. [doi]
Abstract is missing.