Abstract is missing.
- CML: A Prescription for Safely Relaxing SynchronyK. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan. 1-16 [doi]
- Partial Type Signatures for HaskellThomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers. 17-32 [doi]
- The F# Computation Expression ZooTomas Petricek, Don Syme. 33-48 [doi]
- Abstract Modular Inference Systems and SolversYuliya Lierler, Miroslaw Truszczynski. 49-64 [doi]
- Sunroof: A Monadic DSL for Generating JavaScriptJan Bracker, Andy Gill. 65-80 [doi]
- Compiling DNA Strand Displacement Reactions Using a Functional Programming LanguageMatthew R. Lakin, Andrew Phillips. 81-86 [doi]
- Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context SystemsTran Cao Son, Enrico Pontelli, Tiep Le. 87-103 [doi]
- Towards Modeling Morality Computationally with Logic ProgrammingAri Saptawijaya, Luís Moniz Pereira. 104-119 [doi]
- A Declarative Specification of Giant Number ArithmeticPaul Tarau. 120-135 [doi]
- Embedding Foreign CodeRobert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller. 136-151 [doi]
- Exploring the Use of GPUs in Constraint SolvingFederico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli. 152-167 [doi]
- On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic ProgramsMiguel Areias, Ricardo Rocha. 168-183 [doi]
- Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User InterfacesMartin Elsman, Anders Schack-Nielsen. 184-199 [doi]
- Expand: Towards an Extensible Pandoc SystemJacco Krijnen, S. Doaitse Swierstra, Marcos Viera. 200-215 [doi]
- Generic Generic ProgrammingJosé Pedro Magalhães, Andres Löh. 216-231 [doi]