Programming Languages and Systems Venue ESOP 2013 Publication date Mar 2013 Identifiers DOI: doi:10.1007/978-3-642-37036-6 ISBN: 978-3-642-37035-9 Authors Source Materials Published Edition BibTeX Citation