Refined compilation of pattern-matching for functional languages

DOI10.1016/0167-6423(88)90002-0zbMath0677.68004OpenAlexW1973765637MaRDI QIDQ1123586

S. H. Smith

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90002-0

zbMATH Keywords

functional languagesterm rewritingpattern-matching compilation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Theory of software (68N99) Algorithms in computer science (68W99)

Related Items (4)

Left-to-right tree pattern matching ⋮ Pattern matching compilation of functions defined in context-free languages ⋮ Adaptive pattern matching ⋮ An Account of Implementing Applicative Term Rewriting

This page was built for publication: Refined compilation of pattern-matching for functional languages