Harald Ganzinger, Neil D. Jones (Eds.):
Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985.
Lecture Notes in Computer Science 217 Springer 1986, ISBN 3-540-16446-4 
Françoise Bellegarde:
Convergent term rewriting systems can be used for program transformation.
24-41
Harald Ganzinger:
Modular first-order specifications of operational semantics.
82-95
John Hughes:
Strictness detection in non-flat domains.
112-135
Dieter Maurer:
Strictness computation using special lambda-expressions.
136-155
Peter Sestoft:
The structure of a self-applicable partial evaluator.
236-256
Philip Wadler:
Listlessness is better than laziness II: composing listless functions.
282-305
Mitchell Wand:
From interpreter to compiler: a representational derivation.
306-324
data released under the ODC-BY 1.0 license
