Programming Languages and Systems

1. Front Matter

   PDF

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

   4. Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming

      • Matthew R. Lakin, Andrew M. Pitts

      Pages 47-61

3. ETAPS Invited Talk

   1. Using Category Theory to Design Programming Languages

      • John C. Reynolds

      Pages 62-63

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

   3. An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees

      • Hao Yuan, Patrick Eugster

      Pages 175-189

   4. Amortised Memory Analysis Using the Depth of Data Structures

      • Brian Campbell

      Pages 190-204

7. ESOP Invited Talk

   1. The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?

      • Jean-Marc Eber

      Pages 205-206

8. Security

   1. All Secrets Great and Small

      • Delphine Demange, David Sands

      Pages 207-221

   2. Type-Based Automated Verification of Authenticity in Cryptographic Protocols

      • Daisuke Kikuchi, Naoki Kobayashi

      Pages 222-236

9. Concurrency

   1. A Theory of Non-monotone Memory (Or: Contexts for free )

      • Eijiro Sumii

      Pages 237-251

   2. Abstraction for Concurrent Objects

      • Ivana Filipović, Peter O’Hearn, Noam Rinetzky, Hongseok Yang

      Pages 252-266

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

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

  Giuseppe Castagna

Policies and ethics