Login / Signup

Proving Properties of Lazy Functional Programs with Sparkle.

Maarten de MolMarko C. J. D. van EekelenRinus Plasmeijer
Published in: CEFP (2007)
Keyphrases
  • functional programs
  • lazy evaluation
  • term rewriting systems
  • databases
  • machine learning
  • high level
  • logic programs