Abstract is missing.
- Session types for linear multithreaded functional programmingVasco Thudichum Vasconcelos. 1-6 [doi]
- Scrap your boilerplate: prologically!Ralf Lämmel. 7-12 [doi]
- Automatic refactoring of Erlang programsKonstantinos F. Sagonas, Thanassis Avgerinos. 13-24 [doi]
- Model-checking higher-order functionsNaoki Kobayashi. 25-36 [doi]
- A dynamically customizable process-centered evaluation modelSilvia Clerici, Cristina Zoltan. 37-48 [doi]
- A higher-order logical framework for the algorithmic debugging and verification of declarative programsRafael del Vado VÃrseda. 49-60 [doi]
- Alternation as a programming paradigmWolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran. 61-72 [doi]
- Set functions for functional logic programmingSergio Antoy, Michael Hanus. 73-82 [doi]
- Reasoning with hypothetical judgments and open terms in hybridAmy P. Felty, Alberto Momigliano. 83-92 [doi]
- An Isabelle/HOL-based model of stratego-like traversal strategiesMarkus Kaiser, Ralf Lämmel. 93-104 [doi]
- Making induction manifest in modular ACL2Carl Eastlund, Matthias Felleisen. 105-116 [doi]
- Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulasGabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández. 117-128 [doi]
- Algorithmic specifications in linear logic with subexponentialsVivek Nigam, Dale Miller. 129-140 [doi]
- A logical framework for configuration softwareHanne Vlaeminck, Joost Vennekens, Marc Denecker. 141-148 [doi]
- A declarative semantics for Bousi~PrologPascual Julián Iranzo, Clemente Rubio-Manzano. 149-160 [doi]
- Path-sensitive region analysis for mercury programsQuan Phan, Gerda Janssens. 161-170 [doi]
- An embedded declarative data transformation languagePaul Tarau. 171-182 [doi]
- L2C2: logic-based LSC consistency checkingHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam. 183-194 [doi]
- Future contractsChristos Dimoulas, Riccardo Pucella, Matthias Felleisen. 195-206 [doi]
- A framework for abstract interpretation of timed concurrent constraint programsMoreno Falaschi, Carlos Olarte, Catuscia Palamidessi. 207-218 [doi]
- Foundations of session typesGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani. 219-230 [doi]
- The RPC calculusEzra Cooper, Philip Wadler. 231-242 [doi]
- Language support for processing distributed ad hoc dataKenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker. 243-254 [doi]
- A declarative encoding of telecommunications feature subscription in SATMichael Codish, Samir Genaim, Peter J. Stuckey. 255-266 [doi]
- On the expressive power of priorities in CHRMaurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo. 267-276 [doi]
- Dependent type inference with interpolantsHiroshi Unno, Naoki Kobayashi. 277-288 [doi]
- Context-based proofs of termination for typed delimited-control operatorsMalgorzata Biernacka, Dariusz Biernacki. 289-300 [doi]
- Relational semantics for effect-based program transformations: higher-order storeNick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann. 301-312 [doi]