Abstract is missing.
- A Sound Semantics for OCamllightScott Owens. 1-15 [doi]
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!Jacob Matthews, Amal Ahmed. 16-31 [doi]
- Regular Expression Subtyping for XML Query and Update LanguagesJames Cheney. 32-47 [doi]
- A Theory of Hygienic MacrosDavid Herman, Mitchell Wand. 48-62 [doi]
- A Hybrid Denotational Semantics for Hybrid SystemsOlivier Bouissou, Matthieu Martel. 63-77 [doi]
- Full Abstraction for LindaCinzia Di Giusto, Maurizio Gabbrielli. 78-92 [doi]
- Practical Programming with Higher-Order Encodings and Dependent TypesAdam Poswolsky, Carsten Schürmann. 93-107 [doi]
- Programming in JoCaml (Tool Demonstration)Louis Mandel, Luc Maranget. 108-111 [doi]
- Playing with TOY: Constraints and Domain CooperationSonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez. 112-115 [doi]
- Typing Safe DeallocationGérard Boudol. 116-130 [doi]
- Iterative Specialisation of Horn ClausesChristoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson. 131-145 [doi]
- Constructive Mathematics and Functional Programming (Abstract)Thierry Coquand. 146-147 [doi]
- Ranking AbstractionsAziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang. 148-162 [doi]
- Non-disjunctive Numerical Domain for Array Predicate AbstractionXavier Allamigeon. 163-177 [doi]
- Upper Adjoints for Fast Inter-procedural Variable EqualitiesMarkus Müller-Olm, Helmut Seidl. 178-192 [doi]
- Cover Algorithms and Their CombinationSumit Gulwani, Madan Musuvathi. 193-207 [doi]
- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely. 208-223 [doi]
- Linear DeclassificationYûta Kaneko, Naoki Kobayashi. 224-238 [doi]
- Just Forget It - The Semantics and Enforcement of Information ErasureSebastian Hunt, David Sands. 239-253 [doi]
- Open Bisimulation for the Concurrent Constraint Pi-CalculusMaria Grazia Buscemi, Ugo Montanari. 254-268 [doi]
- The Conversation Calculus: A Model of Service-Oriented ComputationHugo Torres Vieira, Luís Caires, João Costa Seco. 269-283 [doi]
- Inferring Channel Buffer Bounds Via Linear ProgrammingTachio Terauchi, Adam Megacz. 284-298 [doi]
- Verification of Higher-Order Computation: A Game-Semantic ApproachC.-H. Luke Ong. 299-306 [doi]
- Verification of Equivalent-Results MethodsK. Rustan M. Leino, Peter Müller. 307-321 [doi]
- Semi-persistent Data StructuresSylvain Conchon, Jean-Christophe Filliâtre. 322-336 [doi]
- A Realizability Model for Impredicative Hoare Type TheoryRasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett. 337-352 [doi]
- Oracle Semantics for Concurrent Separation LogicAquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli. 353-367 [doi]
- Certificate Translation in Abstract InterpretationGilles Barthe, César Kunz. 368-382 [doi]
- A Formal Implementation of Value CommitmentCédric Fournet, Nataliya Guts, Francesco Zappa Nardelli. 383-397 [doi]