A transformation-based optimiser for Haskell
From MaRDI portal
Publication:1818319
DOI10.1016/S0167-6423(97)00029-4zbMath0942.68030OpenAlexW2048706733MaRDI QIDQ1818319
Simon L. Peyton Jones, André L. M. Santos
Publication date: 4 January 2000
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(97)00029-4
Related Items (6)
From natural semantics to C: A formal derivation of two STG machines ⋮ Modular, higher order cardinality analysis in theory and practice ⋮ A survey of strategies in rule-based program transformation systems ⋮ A higher-order strategy for eliminating common subexpressions ⋮ Higher-order matching for program transformation ⋮ Fusing Logic and Control with Local Transformations
Uses Software
This page was built for publication: A transformation-based optimiser for Haskell
