Abstract is missing.
- The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)Peter Sestoft, Harald Søndergaard. 1-13 [doi]
- In memoriam Neil Deaton JonesFritz Henglein. 14-15 [doi]
- A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis. 16-38 [doi]
- Incremental Computation: What Is the Essence? (Invited Contribution)Yanhong A. Liu. 39-52 [doi]
- The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution)Dines Bjørner. 53-56 [doi]
- Complete Stream Fusion for Software-Defined RadioTomoaki Kobayashi, Oleg Kiselyov. 57-69 [doi]
- Productivity Verification for Functional Programs by Reduction to Termination VerificationRen Fukaishi, Naoki Kobayashi, Ryosuke Sato. 70-82 [doi]
- Scoped and Typed Staging by EvaluationGuillaume Allais. 83-93 [doi]
- Ownership Types for Verification of Programs with Pointer ArithmeticIzumi Tanaka, Ken Sakayori, Naoki Kobayashi 0001. 94-106 [doi]
- A Case Study in Functional Conversion and Mode Inference in miniKanrenEkaterina Verbitskaia, Igor Engel, Daniil Berezun. 107-118 [doi]
- Partial Evaluation of Reversible Flowchart ProgramsLouis Normann, Robert Glück. 119-133 [doi]
- An Intrinsically Typed Compiler for Algebraic Effect HandlersSyouki Tsuyama, Youyou Cong, Hidehiko Masuhara. 134-145 [doi]