Refined compiliation of pattern-matching for functional languages
- 1 December 1988
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 11 (2) , 133-159
- https://doi.org/10.1016/0167-6423(88)90002-0
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Operational semantics for order-sorted algebraPublished by Springer Nature ,2005
- Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion ProblemsInformation and Computation, 1993
- On word problems in equational theoriesPublished by Springer Nature ,1987
- A compiler for conditional term rewriting systemsPublished by Springer Nature ,1987
- Design and implementation of a generic, logic and functional programming languagePublished by Springer Nature ,1986
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Compiling pattern matchingLecture Notes in Computer Science, 1985
- A compiler for lazy MLPublished by Association for Computing Machinery (ACM) ,1984
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Edinburgh LCFLecture Notes in Computer Science, 1979