Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations

Manfred Schmidt-Schauß, David Sabel. Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations. Science of Computer Programming, 147:3-26, 2017. [doi]

Abstract

Abstract is missing.