Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini |
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters |
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin |
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet |
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma |
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez |
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras |
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey |
Extending the TOy System with the ECL PSe Solver over Sets of Integers |
Sonia Estévez-Martín / Jesús Correas Fernández |
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana |
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai |
Iteratees / Oleg Kiselyov |
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King |
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev |
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata |
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato |
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta |
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama |
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi |
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy |
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska |
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu |
Author Index |
Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |