TY  - UNPD
A1  - Schmidt-Schauß, Manfred
A1  - Sabel, David
T1  - Sharing decorations for improvements in a functional core language with call-by-need operational semantics
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 56 [version 1.0])
N2  - 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.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 56 [version 1.0] 
Y1  - 2015
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/41240
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-412408
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-56.pdf
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
CY  - Frankfurt am Main
ER  -