Login / Signup

Extending Deforestation for First Order functional Programs.

Geoff W. HamiltonSimon B. Jones
Published in: Functional Programming (1991)
Keyphrases
  • functional programs
  • term rewriting systems
  • logic programs
  • lazy evaluation
  • functional language
  • first order logic
  • stochastic grammar
  • general purpose
  • horn clauses
  • logic programming