Solving recursive domain equations by term rewriting

This publication has 8 references indexed in Scilit:

• Benchmarking implementations of lazy functional languages
  Published by Association for Computing Machinery (ACM) ,1993
• Strictness analysis using abstract reduction
  Published by Association for Computing Machinery (ACM) ,1993
• Implementing Haskell overloading
  Published by Association for Computing Machinery (ACM) ,1993
• Polymorphic strictness analysis using frontiers
  Published by Association for Computing Machinery (ACM) ,1993
• Abstract Interpretation of Higher Order Functions using Concrete Data Structures (Summary)
  Published by Springer Nature ,1993
• Fixed points and frontiers: a new perspective
  Journal of Functional Programming, 1991
• Attribute grammars as a functional programming paradigm
  Published by Springer Nature ,1987
• Data flow analysis of applicative programs using minimal function graphs
  Published by Association for Computing Machinery (ACM) ,1986