Abstract is missing.
- What Is a Good Process Semantics?J. Robin B. Cockett. 1-3 [doi]
- Refunctionalization at WorkOlivier Danvy. 4 [doi]
- Aspects and Data RefinementPavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble. 5-9 [doi]
- Towards Generic Programming with Sized TypesAndreas Abel. 10-28 [doi]
- Relational Semantics for Higher-Order ProgramsKamal Aboul-Hosn, Dexter Kozen. 29-48 [doi]
- Proofs of Randomized Algorithms in CoqPhilippe Audebaud, Christine Paulin-Mohring. 49-68 [doi]
- Exercises in Quantifier ManipulationRoland Carl Backhouse, Diethard Michaelis. 69-81 [doi]
- Improving Saddleback Search: A Lesson in Algorithm DesignRichard S. Bird. 82-89 [doi]
- Loopless Functional AlgorithmsRichard S. Bird. 90-114 [doi]
- Compositional Reasoning for Pointer StructuresYifeng Chen, Jeff W. Sanders. 115-139 [doi]
- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable GuardsBrijesh Dongol, Arjan J. Mooij. 140-161 [doi]
- Fission for Program ComprehensionJeremy Gibbons. 162-179 [doi]
- Scrap Your Boilerplate RevolutionsRalf Hinze, Andres Löh. 180-208 [doi]
- Generic Views on Data TypesStefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez. 209-234 [doi]
- Recursion Schemes for Dynamic ProgrammingJevgeni Kabanov, Varmo Vene. 235-252 [doi]
- Bimonadic Semantics for Basic Pattern Matching CalculiWolfram Kahl, Jacques Carette, Xiaoheng Ji. 253-273 [doi]
- Nondeterministic FoldsClare E. Martin, Sharon A. Curtis. 274-298 [doi]
- A Datastructure for Iterated PowersRalph Matthes. 299-315 [doi]
- Continuous Action System RefinementLarissa Meinicke, Ian J. Hayes. 316-337 [doi]
- The Linear Algebra of UTPBernhard Möller. 338-358 [doi]
- ::::The Shadow Knows: :::: Refinement of Ignorance in Sequential ProgramsCarroll Morgan. 359-378 [doi]
- Swapping Arguments and Results of Recursive FunctionsAkimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi. 379-396 [doi]
- Refinement Algebra with Operators for Enabledness and TerminationKim Solin, Joakim von Wright. 397-415 [doi]
- Constructing Rewrite-Based Decision Procedures for Embeddings and TerminationGeorg Struth. 416-432 [doi]
- Quantum Predicative ProgrammingAnya Tafliovich, Eric C. R. Hehner. 433-454 [doi]