Abstract is missing.
- A Brief Survey of Quantum Programming LanguagesPeter Selinger. 1-6 [doi]
- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal LogicMasami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato. 7-21 [doi]
- Twelf and Delphin: Logic and Functional Programming in a Meta-logical FrameworkCarsten Schürmann. 22-23 [doi]
- Online Justification for Tabled Logic ProgramsGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan. 24-38 [doi]
- Constructive Intensional NegationSusana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro. 39-54 [doi]
- Analysing Definitional Trees: Looking for DeterminismPascual Julián Iranzo, Christian Villamizar Lamus. 55-69 [doi]
- DDT: a Declarative Debugging Tool for Functional-Logic LanguagesRafael Caballero, Mario Rodríguez-Artalejo. 70-84 [doi]
- LIX: an Effective Self-applicable Partial Evaluator for PrologStephen-John Craig, Michael Leuschel. 85-99 [doi]
- Multivariant Non-failure Analysis via Standard Abstract InterpretationFrancisco Bueno, Pedro López-García, Manuel V. Hermenegildo. 100-116 [doi]
- Set-Sharing Is Not Always Redundant for Pair-SharingFrancisco Bueno, Maria J. García de la Banda. 117-131 [doi]
- Backward Pair Sharing AnalysisLunjin Lu, Andy King. 132-146 [doi]
- Implementing Natural Rewriting and Narrowing EfficientlySantiago Escobar. 147-162 [doi]
- Complete Axiomatization of an Algebraic Construction of GraphsMizuhito Ogawa. 163-179 [doi]
- Sub-BirkhoffVincent van Oostrom. 180-195 [doi]
- Relaxing the Value RestrictionJacques Garrigue. 196-213 [doi]
- Rigid Mixin ModulesTom Hirschowitz. 214-228 [doi]
- Semantics of Linear Continuation-Passing in Call-by-NameMasahito Hasegawa. 229-243 [doi]
- A Direct Proof of Strong Normalization for an Extended Herbelin?s CalculusKentaro Kikuchi. 244-259 [doi]
- Normalization by Evaluation for lambda:::-2:::Thorsten Altenkirch, Tarmo Uustalu. 260-275 [doi]
- Basic Pattern Matching Calculi: a Fresh View on Matching FailureWolfram Kahl. 276-290 [doi]
- Derivation of Deterministic Inverse Programs Based on LR ParsingRobert Glück, Masahiko Kawabe. 291-306 [doi]