Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18. 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, Torbjörn Ekman, Oege de Moor:
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, Ugo Montanari:
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, 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 - 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
a service of 
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 2024-04-17 21:38 CEST 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:
