Abstract is missing.
- Programming with Boolean SatisfactionMichael Codish. 1 [doi]
- Automated Verification of Higher-Order Functional ProgramsTachio Terauchi. 2 [doi]
- Dependently-Typed Programming in GHCStephanie Weirich. 3 [doi]
- Call-by-Value Solvability, RevisitedBeniamino Accattoli, Luca Paolini. 4-16 [doi]
- Compiling a Functional Logic Language: The Basic SchemeSergio Antoy, Arthur Peters. 17-31 [doi]
- Classical Call-by-Need Sequent Calculi: The Unity of Semantic ArtifactsZena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin. 32-46 [doi]
- Normal Form Bisimulations for Delimited-Control OperatorsDariusz Biernacki, Sergueï Lenglet. 47-61 [doi]
- Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)Gerlof Bouma. 62-72 [doi]
- Declarative Debugging of Wrong and Missing Answers for SQL ViewsRafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. 73-87 [doi]
- Improving the Performance of FD Constraint Solving in a CFLP SystemIgnacio Castiñeiras, Fernando Sáenz-Pérez. 88-103 [doi]
- A General Implementation Framework for Tabled CLPPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey. 104-119 [doi]
- Extending the TOY System with the ECLiPSe Solver over Sets of IntegersSonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez. 120-135 [doi]
- Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in HaskellMakoto Hamana. 136-150 [doi]
- A Lambda Calculus for Gödel-Dummett Logic Capturing WaitfreedomYoichi Hirai. 151-165 [doi]
- IterateesOleg Kiselyov. 166-181 [doi]
- Mutual Exclusion by InterpolationJael Kriener, Andy King. 182-196 [doi]
- Parallel Computation Skeletons with Premature Termination PropertyOleg Lobachev. 197-212 [doi]
- Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment ProblemsAkimasa Morihata. 213-227 [doi]
- A Data Flow Language for Hybrid Query and Programming LanguagesKristoffer Høgsbro Rose, Lionel Villard, Naoto Sato. 228-242 [doi]
- Coinductive Constraint Logic ProgrammingNeda Saeedloei, Gopal Gupta. 243-259 [doi]
- A Call-by-Name CPS HierarchyAsami Tanaka, Yukiyoshi Kameyama. 260-274 [doi]
- Exact Flow Analysis by Higher-Order Model CheckingYoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi 0001. 275-289 [doi]
- Computing in Cantor's Paradise with λ ZFCNeil Toronto, Jay McCarthy. 290-306 [doi]
- The Finite Domain Constraint Solver of SWI-PrologMarkus Triska. 307-316 [doi]
- Explicit Binds: Effortless Efficiency with and without TreesTarmo Uustalu. 317-331 [doi]