Abstract is missing.
- A walk in the semantic parkOlivier Danvy, Jacob Johannsen, Ian Zerny. 1-12 [doi]
- Ordering multiple continuations on the stackDimitrios Vardoulakis, Olin Shivers. 13-22 [doi]
- Partial evaluation of the reversible language janusTorben Æ. Mogensen. 23-32 [doi]
- Taming code explosion in supercompilationPeter A. Jonsson, Johan Nordlander. 33-42 [doi]
- Allocation removal by partial evaluation in a tracing JITCarl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo. 43-52 [doi]
- A generative geometric kernelJacques Carette, Mustafa Elsheikh, Spencer Smith. 53-62 [doi]
- An embedded language for programming protocol stacks in embedded systemsYan Wang, Verónica Gaspes. 63-72 [doi]
- Verified resource guarantees using COSTA and KeYElvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez. 73-76 [doi]
- DiaSuite: a paradigm-oriented software development approachCharles Consel. 77-78 [doi]
- Adaptation-based programming in javaTim Bauer, Martin Erwig, Alan Fern, Jervis Pinto. 81-90 [doi]
- Calculating with lenses: optimising bidirectional transformationsHugo Pacheco, Alcino Cunha. 91-100 [doi]
- Calculating tree navigation with symmetric relational zipperYuta Ikeda, Susumu Nishimura. 101-110 [doi]
- A program transformation for returning states in functional-logic programsRafael Caballero. 111-120 [doi]
- Type classes in functional logic programmingEnrique Martin-Martin. 121-130 [doi]
- Strictification of circular programsJoão Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer. 131-140 [doi]
- A semantics for lazy assertionsOlaf Chitil. 141-150 [doi]
- iTasks for a change: type-safe run-time change in dynamically evolving workflowsRinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen. 151-160 [doi]