Algebraic Transformation Techniques for Functional Languages

DOI10.1093/comjnl/31.3.229zbMath0745.68034OpenAlexW1963785528MaRDI QIDQ4711452

Hessam Khoshnevisan, Peter G. Harrison

Publication date: 25 June 1992

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/31.3.229

zbMATH Keywords

lambda calculusMirandarecursion removalmemoisationKRCHopetransformation of functional languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)