Abstract is missing.
- Declarative Software Development: Distilled TutorialRalf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre. 1-6 [doi]
- Lazier Imperative ProgrammingRémi Douence, Nicolas Tabareau. 7-18 [doi]
- Parametricity and Proving Free Theorems for Functional-Logic LanguagesStefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer. 19-30 [doi]
- Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural NumbersPaul Tarau. 31-42 [doi]
- Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic ProgramsFlávio Cruz, Ricardo Rocha, Seth Copen Goldstein. 43-54 [doi]
- Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled TutorialDanko Ilik. 55-56 [doi]
- A Type Theoretic Specification of Partial EvaluationKenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang. 57-68 [doi]
- Continuations, Processes, and SharingPaul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca. 69-80 [doi]
- Elimination of Square Roots and Divisions by Partial InliningPierre Néron. 81-92 [doi]
- Real-Time Matching of Antescofo Temporal PatternsJean-Louis Giavitto, José Echeveste. 93-104 [doi]
- On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial)Jerzy Karczmarczuk. 105-110 [doi]
- Proving Operational Termination of Declarative Programs in General LogicsSalvador Lucas, José Meseguer. 111-122 [doi]
- Theories of Homomorphic Encryption, Unification, and the Finite Variant PropertyFan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran. 123-133 [doi]
- On the Preciseness of Subtyping in Session TypesTzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. 135-146 [doi]
- BiFluX: A Bidirectional Functional Update Language for XMLHugo Pacheco, Tao Zan, Zhenjiang Hu. 147-158 [doi]
- Declarative Game Programming: Distilled TutorialHenrik Nilsson, Ivan Perez. 159-160 [doi]
- Bidirectional Elaboration of Dependently Typed ProgramsFrancisco Ferreira, Brigitte Pientka. 161-174 [doi]
- Exact Intersection Type Abstractions for Safety Checking of Recursion SchemesSteven J. Ramsay. 175-186 [doi]
- Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy SystemsJulian Kranz, Axel Simon. 187-198 [doi]
- Organising Low-Level Programs using Higher TypesUlrich Schöpp. 199-210 [doi]
- Unveiling and Veiling Information in ProgramsRoberto Giacobazzi. 211-212 [doi]
- On Combining Backward and Forward Chaining in Constraint Logic ProgrammingRémy Haemmerlé. 213-224 [doi]
- Assertion-based Debugging of Higher-Order (C)LP ProgramsNataliia Stulova, José F. Morales, Manuel V. Hermenegildo. 225-235 [doi]
- Decision Procedures for Proving Inductive Theorems without InductionTakahito Aoto, Sorin Stratulat. 237-248 [doi]
- Experimental Evaluation of a State-Of-The-Art GrounderJoachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens. 249-258 [doi]
- Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming ImplementationTom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen. 259-270 [doi]
- Database Queries that Explain their WorkJames Cheney, Amal Ahmed, Umut A. Acar. 271-282 [doi]