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]

Authors

Manfred Schmidt-Schauß

This author has not been identified. Look up 'Manfred Schmidt-Schauß' in Google

David Sabel

This author has not been identified. Look up 'David Sabel' in Google