A formal development of an efficient supercombination compiler

DOI10.1016/0167-6423(87)90017-7zbMath0615.68006OpenAlexW2016326594WikidataQ122932734 ScholiaQ122932734MaRDI QIDQ1820575

Richard S. Bird

Publication date: 1987

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(87)90017-7

zbMATH Keywords

transformational programmingfunctional language implementationHughes- style supercombinatorstranslation of lambda calculus expressions into combinator form

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: A formal development of an efficient supercombination compiler