Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner. Reifying and optimizing collection queries for modularity. In Gary T. Leavens, editor, Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25, 2012. pages 77-78, ACM, 2012. [doi]
Abstract is missing.