Refined compilation of pattern-matching for functional languages
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 233-243
- https://doi.org/10.1007/3-540-50667-5_75
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- An effective method for handling initial algebrasPublished by Springer Nature ,1988
- Lazy pattern matching in the ML languageLecture Notes in Computer Science, 1987
- On word problems in equational theoriesPublished by Springer Nature ,1987
- Laws in MirandaPublished by Association for Computing Machinery (ACM) ,1986
- Term rewriting as a basis for the design of a functional and parallel programming languagePublished by Springer Nature ,1986
- Compiling pattern matchingLecture Notes in Computer Science, 1985
- A compiler for lazy MLPublished by Association for Computing Machinery (ACM) ,1984
- Compiling a functional languagePublished by Association for Computing Machinery (ACM) ,1984
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980