Skip to main content
  • Conference proceedings
  • © 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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2009.

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-00590-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

  2. Typed Functional Programming

    1. Well-Typed Programs Can’t Be Blamed

      • Philip Wadler, Robert Bruce Findler
      Pages 1-16
    2. Exploring the Design Space of Higher-Order Casts

      • Jeremy Siek, Ronald Garcia, Walid Taha
      Pages 17-31
    3. Practical Variable-Arity Polymorphism

      • T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen
      Pages 32-46
  3. ETAPS Invited Talk

  4. Computational Effects

    1. Modular Monad Transformers

      • Mauro Jaskelioff
      Pages 64-79
    2. Handlers of Algebraic Effects

      • Gordon Plotkin, Matija Pretnar
      Pages 80-94
  5. Types for Object-Oriented Languages

    1. Is Structural Subtyping Useful? An Empirical Study

      • Donna Malayeri, Jonathan Aldrich
      Pages 95-111
    2. An Interval-Based Inference of Variant Parametric Types

      • Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
      Pages 112-127
    3. Existential Quantification for Variant Ownership

      • Nicholas Cameron, Sophia Drossopoulou
      Pages 128-142
  6. Verification

    1. Formalising and Verifying Reference Attribute Grammars in Coq

      • Max Schäfer, Torbjörn Ekman, Oege de Moor
      Pages 143-159
    2. Verified, Executable Parsing

      • Aditi Barthwal, Michael Norrish
      Pages 160-174
  7. Security

    1. All Secrets Great and Small

      • Delphine Demange, David Sands
      Pages 207-221
  8. Concurrency

    1. Abstraction for Concurrent Objects

      • Ivana Filipović, Peter O’Hearn, Noam Rinetzky, Hongseok Yang
      Pages 252-266

Other Volumes

  1. 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

About this book

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.

Keywords

  • 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
  • algorithm analysis and problem complexity

Editors and Affiliations

  • CNRS, Université Denis Diderot, Paris 7, France

    Giuseppe Castagna

Bibliographic Information

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-00590-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.00
Price excludes VAT (USA)