Abstract is missing.
- Model-Based Knowledge Representation and Reasoning Via Answer Set ProgrammingTorsten Schaub. 1-2 [doi]
- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type TheoryAndreas Abel, Thierry Coquand, Peter Dybjer. 3-13 [doi]
- Substructural Type Systems for Program AnalysisNaoki Kobayashi. 14 [doi]
- Integrating Answer Set Reasoning with Constraint Solving TechniquesVeena S. Mellarkod, Michael Gelfond. 15-31 [doi]
- Optimizing Compilation of CHR with Rule PrioritiesLeslie De Koninck, Peter J. Stuckey, Gregory J. Duck. 32-47 [doi]
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer BaseNicolas Julien. 48-63 [doi]
- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan. 64-80 [doi]
- On-Demand Refinement of Dependent TypesHiroshi Unno, Naoki Kobayashi. 81-96 [doi]
- Proving Properties about Lists Using ContainersRawle Prince, Neil Ghani, Conor McBride. 97-112 [doi]
- Termination of Narrowing in Left-Linear Constructor SystemsGermán Vidal. 113-129 [doi]
- Complexity Analysis by RewritingMartin Avanzini, Georg Moser. 130-146 [doi]
- Rewriting and Call-Time Choice: The HO CaseFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. 147-162 [doi]
- Semantics and Pragmatics of New Shortcut Fusion RulesJanis Voigtländer. 163-179 [doi]
- A Generalization of the Folding Rule for the Clark-Kunen SemanticsJavier Álvez, Paqui Lucio. 180-194 [doi]
- Types for Hereditary Head Normalizing TermsMakoto Tatsuta. 195-209 [doi]
- A New Translation for Semi-classical Theories - Backtracking without CPSSatoshi Kobayashi. 210-223 [doi]
- Undoing Dynamic Typing (Declarative Pearl)Nick Benton. 224-238 [doi]
- Typed Dynamic Control Operators for Delimited ContinuationsYukiyoshi Kameyama, Takuo Yonezawa. 239-254 [doi]
- Strictness Analysis Algorithms Based on an Inequality System for Lazy TypesHirofumi Yokouchi. 255-271 [doi]
- Quantitative Logic Programming RevisitedMario Rodríguez-Artalejo, Carlos A. Romero-Díaz. 272-288 [doi]
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with NegationSusana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez. 289-304 [doi]
- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic ProgrammingRafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. 305-321 [doi]
- EasyCheck - Test Data for FreeJan Christiansen, Sebastian Fischer. 322-336 [doi]