Sharing decorations for improvements in a functional core language with call-by-need operational semantics
Manfred Schmidt-Schauß, David Sabel · Publication Server of Goethe University Frankfurt am Main (Goethe University Frankfurt) · 2015
This report documents the extension LRPw of LRP by sharing decorations. We show correctness of improvement properties of reduction and transformation rules and also of computation rules for decorations in the extended calculus LRPw. We conjecture that conservativity of the embedding of LRP in LRPw holds.