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

  • Giuseppe Castagna

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5502)

Table of contents

  1. Front Matter
  2. Typed Functional Programming

    1. Philip Wadler, Robert Bruce Findler
      Pages 1-16
    2. Jeremy Siek, Ronald Garcia, Walid Taha
      Pages 17-31
    3. T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen
      Pages 32-46
  3. ETAPS Invited Talk

  4. Computational Effects

    1. Mauro Jaskelioff
      Pages 64-79
    2. Gordon Plotkin, Matija Pretnar
      Pages 80-94
  5. Types for Object-Oriented Languages

    1. Donna Malayeri, Jonathan Aldrich
      Pages 95-111
    2. Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
      Pages 112-127
    3. Nicholas Cameron, Sophia Drossopoulou
      Pages 128-142
  6. Verification

    1. Max Schäfer, Torbjörn Ekman, Oege de Moor
      Pages 143-159
    2. Aditi Barthwal, Michael Norrish
      Pages 160-174
  7. ESOP Invited Talk

  8. Security

    1. Delphine Demange, David Sands
      Pages 207-221
  9. Concurrency

    1. Ivana Filipović, Peter O’Hearn, Noam Rinetzky, Hongseok Yang
      Pages 252-266
    2. Filippo Bonchi, Ugo Montanari
      Pages 267-284
  10. Service-Oriented Computing

    1. Luís Caires, Hugo Torres Vieira
      Pages 285-300
    2. Maria Grazia Buscemi, Hernán Melgratti
      Pages 301-315
    3. Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
      Pages 316-332
    4. Hridesh Rajan, Jia Tao, Steve Shaner, Gary T. Leavens
      Pages 333-347
  11. Parallel and Concurrent Programming

    1. Mohammad Raza, Cristiano Calcagno, Philippa Gardner
      Pages 348-362
    2. Mike Dodds, Xinyu Feng, Matthew Parkinson, Viktor Vafeiadis
      Pages 363-377
    3. K. Rustan M. Leino, Peter Müller
      Pages 378-393
    4. Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
      Pages 394-409
  12. Back Matter

About these 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.


category theory code generation compiler construction concurrency concurrent programming functional programming language processing model-driven development parsing programming programming language security service oriented typed functional programming verification

Editors and affiliations

  • Giuseppe Castagna
    • 1
  1. 1.CNRSUniversité Denis DiderotParis 7France

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-00589-3
  • Online ISBN 978-3-642-00590-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment