Refined compilation of pattern-matching for functional languages

DOI10.1016/0167-6423(88)90002-0zbMath0677.68004MaRDI 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 languages; term rewriting; pattern-matching compilation

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68N01: General topics in the theory of software

68N99: Theory of software

68W99: Algorithms in computer science