Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi. Progressive types. In Gary T. Leavens, Jonathan Edwards, editors, ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012. pages 55-66, ACM, 2012. [doi]
Abstract is missing.