Login / Signup

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

Manfred Schmidt-SchaußDavid Sabel
Published in: Sci. Comput. Program. (2017)
Keyphrases