Unfolding rules for GHC programs
From MaRDI portal
Publication:1108817
DOI10.1007/BF03037135zbMath0654.68104OpenAlexW2014855568MaRDI QIDQ1108817
Masaki Murakami, Koichi Furukawa, Akira Okumura
Publication date: 1988
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037135
Related Items (3)
A self-applicable partial evaluator and its use in incremental compilation ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs
Uses Software
Cites Work
This page was built for publication: Unfolding rules for GHC programs