TY  - RPRT
TI  - Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
AU  - Horatiu Cirstea
AU  - David Sabel
PY  - 2018
DO  - 10.4204/eptcs.265
UR  - https://arxiv.org/abs/1802.05862
ID  - 1802.05862
ER  -