How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages

This publication has 8 references indexed in Scilit:

• A higher-order implementation of rewriting
  Science of Computer Programming, 1983
• The Evaluation of Expressions in Icon
  ACM Transactions on Programming Languages and Systems, 1982
• Recursion Equations as a Programming Language
  Published by Springer Nature ,1982
• Experience with an applicative string processing language
  Published by Association for Computing Machinery (ACM) ,1980
• Algorithm = logic + control
  Communications of the ACM, 1979
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• A lazy evaluator
  Published by Association for Computing Machinery (ACM) ,1976
• New Programming Languages for Artificial Intelligence Research
  ACM Computing Surveys, 1974