18. ESOP 2009: York, UK (Part of ETAPS 2009)

Giuseppe Castagna (Ed.): 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. Lecture Notes in Computer Science 5502 Springer 2009, ISBN 978-3-642-00589-3 BibTeX

Typed Functional Programming

Philip Wadler, Robert Bruce Findler:
Well-Typed Programs Can't Be Blamed. 1-16
Electronic Edition (link) BibTeX
Jeremy G. Siek, Ronald Garcia, Walid Taha:
Exploring the Design Space of Higher-Order Casts. 17-31
Electronic Edition (link) BibTeX
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen:
Practical Variable-Arity Polymorphism. 32-46
Electronic Edition (link) BibTeX
Matthew R. Lakin, Andrew M. Pitts:
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. 47-61
Electronic Edition (link) BibTeX

ETAPS Invited Talk

John C. Reynolds:
Using Category Theory to Design Programming Languages. 62-63
Electronic Edition (link) BibTeX

Computational Effects

Mauro Jaskelioff:
Modular Monad Transformers. 64-79
Electronic Edition (link) BibTeX
Gordon D. Plotkin, Matija Pretnar:
Handlers of Algebraic Effects. 80-94
Electronic Edition (link) BibTeX

Types for Object-Oriented Languages

Donna Malayeri, Jonathan Aldrich:
Is Structural Subtyping Useful? An Empirical Study. 95-111
Electronic Edition (link) BibTeX
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types. 112-127
Electronic Edition (link) BibTeX
Nicholas R. Cameron, Sophia Drossopoulou:
Existential Quantification for Variant Ownership. 128-142
Electronic Edition (link) BibTeX

Verification

Max Schäfer, Torbjörn Ekman, Oege de Moor:
Formalising and Verifying Reference Attribute Grammars in Coq. 143-159
Electronic Edition (link) BibTeX
Aditi Barthwal, Michael Norrish:
Verified, Executable Parsing. 160-174
Electronic Edition (link) BibTeX
Hao Yuan, Patrick Th. Eugster:
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees. 175-189
Electronic Edition (link) BibTeX
Brian Campbell:
Amortised Memory Analysis Using the Depth of Data Structures. 190-204
Electronic Edition (link) BibTeX

ESOP Invited Talk

Jean-Marc Eber:
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?. 205-206
Electronic Edition (link) BibTeX

Security

Delphine Demange, David Sands:
All Secrets Great and Small. 207-221
Electronic Edition (link) BibTeX
Daisuke Kikuchi, Naoki Kobayashi:
Type-Based Automated Verification of Authenticity in Cryptographic Protocols. 222-236
Electronic Edition (link) BibTeX

Concurrency

Eijiro Sumii:
A Theory of Non-monotone Memory (Or: Contexts for free). 237-251
Electronic Edition (link) BibTeX
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang:
Abstraction for Concurrent Objects. 252-266
Electronic Edition (link) BibTeX
Filippo Bonchi, Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity. 267-284
Electronic Edition (link) BibTeX

Service-Oriented Computing

Luís Caires, Hugo Torres Vieira:
Conversation Types. 285-300
Electronic Edition (link) BibTeX
Maria Grazia Buscemi, Hernán C. Melgratti:
Abstract Processes in Orchestration Languages. 301-315
Electronic Edition (link) BibTeX
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda:
Global Principal Typing in Partially Commutative Asynchronous Sessions. 316-332
Electronic Edition (link) BibTeX
Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens:
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. 333-347
Electronic Edition (link) BibTeX

Parallel and Concurrent Programming

Mohammad Raza, Cristiano Calcagno, Philippa Gardner:
Automatic Parallelization with Separation Logic. 348-362
Electronic Edition (link) BibTeX
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis:
Deny-Guarantee Reasoning. 363-377
Electronic Edition (link) BibTeX
K. Rustan M. Leino, Peter Müller:
A Basis for Verifying Multi-threaded Programs. 378-393
Electronic Edition (link) BibTeX
Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan:
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. 394-409
Electronic Edition (link) BibTeX