© 2009

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
Conference proceedings ESOP 2009

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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences