default search action
18. ESOP 2009: York, UK (Part of ETAPS 2009)
- Giuseppe Castagna:
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
Typed Functional Programming
- Philip Wadler, Robert Bruce Findler:
Well-Typed Programs Can't Be Blamed. 1-16 - Jeremy G. Siek
, Ronald Garcia, Walid Taha:
Exploring the Design Space of Higher-Order Casts. 17-31 - 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 - Gordon D. Plotkin, Matija Pretnar
Handlers of Algebraic Effects. 80-94
Types for Object-Oriented Languages
- Donna Malayeri, Jonathan Aldrich
Is Structural Subtyping Useful? An Empirical Study. 95-111 - Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
An Interval-Based Inference of Variant Parametric Types. 112-127 - Nicholas Cameron, Sophia Drossopoulou:
Existential Quantification for Variant Ownership. 128-142
Verification
- Max Schäfer
Formalising and Verifying Reference Attribute Grammars in Coq. 143-159 - Aditi Barthwal, Michael Norrish
Verified, Executable Parsing. 160-174 - 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
- Delphine Demange, David Sands:
All Secrets Great and Small. 207-221 - 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 - Filippo Bonchi
Minimization Algorithm for Symbolic Bisimilarity. 267-284
Service-Oriented Computing
- Luís Caires, Hugo Torres Vieira:
Conversation Types. 285-300 - Maria Grazia Buscemi, Hernán C. Melgratti:
Abstract Processes in Orchestration Languages. 301-315 - Dimitris Mostrous, Nobuko Yoshida
Global Principal Typing in Partially Commutative Asynchronous Sessions. 316-332 - Hridesh Rajan
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 - Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis
Deny-Guarantee Reasoning. 363-377 - K. Rustan M. Leino, Peter Müller:
A Basis for Verifying Multi-threaded Programs. 378-393 - Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan:
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. 394-409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: