Programming languages and systems 18th European symposium on programming, ESOP 2009, held as part of the joint european conferences on theory and practice of software, ETAPS 2009, York, UK : proceedings / - Castagna, Giuseppe, (Springer,)