Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009.