. . . . . . . . . . "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,March 22-29, 2009 : proceedings" . . . . . . . . . . . . . . . "Online-Publikation" . . . . . "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, March 22-29, 2009, Proceedings" . . . . . "ESOP 2009" . "ESOP 2009"@en . . "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, March 22-29, 2009 : proceedings" . . . . . "Conference proceedings"@en . . . . . . "ETAPS 2009"@en . "This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming."@en . "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, March 22-29, 2009. Proceedings"@en . . "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, March 22-29, 2009. Proceedings" . . "This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming." . . . "ETAPS 2009" . . "Conference papers and proceedings"@en . "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"@en . . . "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, March 22-29, 2009. Proceedings"@en . . . . . . "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, March 22-29, 2009 : proceedings"@en . . "Programming languages and systems : proceedings" . "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, March 22-29, 2009 : proceedings" . . . . . "Programming Languages and Systems" . . . . . . . . . . . . . . . . "Joint European Conferences on Theory and Practice of Software, ETAPS 2009"@en . . "Theory and practice of software" . . . . . . "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, March 22-29, 2009. Proceedings" . . "Electronic books" . "Electronic books"@en . "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"@en . . . "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"@en . "Kongress" . . "Programming languages and systems proceedings" . . "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, March 22-29, 2009, proceedings"@en . . . . . . . . "Programming languages and systems" . . . . . . "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"@en . . "Programming languages and systems"@en . . . . . . "Programmiersprache." . . "European Symposium on Programming (18th ; 2009)." . . . "Programmierung Nebenläufigkeit Kongress York <2009>" . . "Logic design." . . "Langages de programmation Congrès." . . "Serviceorientierte Architektur Kongress York <2009>" . . "Joint European Conferences on Theory and Practice of Software <12, 2009, York>" . . "Algorithm Analysis and Problem Complexity." . . "Algorithm Analysis and Problem Complexity" . "Software Engineering/Programming and Operating Systems." . . "Software Engineering/Programming and Operating Systems" . "ETAPS (Conference) (12th : 2009 : York, England)" . . . "European Symposium on Programming (18th : 2009 : York, Great Britain)" . . . "Computer programming." . . "Programmierung." . . . . "European Symposium on Programming <18, 2009, York>" . . "Theory of Computation." . . "Theory of Computation" . "Logics and Meanings of Programs." . . "Logics and Meanings of Programs" . "Information theory." . . "Programmverifikation Kongress York <2009>" . . "Computer software." . . "York <2009>" . . "Software engineering." . . "Typisierte Programmiersprache." . . "Funktionale Programmierung." . . "Programming Languages, Compilers, Interpreters." . . "Programming Languages, Compilers, Interpreters" . "European Symposium on Programming (18 : 2009 : York)" . . . "European Symposium on Programming, ESOP (18)" . . . "European Symposium on Programming (18th : 2009 York, England)" . . . "European Symposium on Programming (18th : 2009 : York, England)" . "Computer Science." . . "Computer science." . "ETAPS 2009 (2009 : York, England)" . . . "Programming Techniques." . . "Programming Techniques" . "Programmation (Informatique) Congrès." . . "European Conferences on Theory and Practice of Software (2009 : York)" . . . "Serviceorientierte Architektur." . . "Nebenläufigkeit." . . "Programmverifikation." . . "Funktionale Programmierung Typisierte Programmiersprache Kongress York <2009>" . . "Joint European Conferences on Theory and Practics of Software, ETAPS (22-03-2009 - 29-03-2009 : York, UK)" . . . "Programmiersprache Kongress York <2009>" . . "Ordinateurs Programmation Congrès." . . "langage de programmation [congrès]" . . "Informatique." . .