Shrinking lambda expressions in linear time
From MaRDI portal
Publication:4376489
DOI10.1017/S0956796897002839zbMath0893.68021MaRDI QIDQ4376489
Publication date: 3 August 1998
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
A survey of strategies in rule-based program transformation systems ⋮ A higher-order strategy for eliminating common subexpressions ⋮ Scoped Dynamic Rewrite Rules ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs