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. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-00589-3
Typed Functional Programming
- T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen: Practical Variable-Arity Polymorphism. 32-46
- Matthew R. Lakin, Andrew M. Pitts: Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. 47-61
ETAPS Invited Talk
- John C. Reynolds: Using Category Theory to Design Programming Languages. 62-63
Computational Effects
- Mauro Jaskelioff: Modular Monad Transformers. 64-79
Types for Object-Oriented Languages
- Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin: An Interval-Based Inference of Variant Parametric Types. 112-127
Verification
- Max Schäfer, Torbjörn Ekman, Oege de Moor: Formalising and Verifying Reference Attribute Grammars in Coq. 143-159
- Hao Yuan, Patrick Th. Eugster: An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees. 175-189
- Brian Campbell: Amortised Memory Analysis Using the Depth of Data Structures. 190-204
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
Security
- Daisuke Kikuchi, Naoki Kobayashi: Type-Based Automated Verification of Authenticity in Cryptographic Protocols. 222-236
Concurrency
- Eijiro Sumii: A Theory of Non-monotone Memory (Or: Contexts for free). 237-251
- Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang: Abstraction for Concurrent Objects. 252-266
Service-Oriented Computing
- Dimitris Mostrous, Nobuko Yoshida, Kohei Honda: Global Principal Typing in Partially Commutative Asynchronous Sessions. 316-332
- 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
Parallel and Concurrent Programming
- Mohammad Raza, Cristiano Calcagno, Philippa Gardner: Automatic Parallelization with Separation Logic. 348-362
- Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. 394-409
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team