Login / Signup

Mechanized Reasoning about Functional Programs.

Sava Mintchev
Published in: Functional Programming (1994)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • functional language
  • logic programs
  • stochastic grammar
  • high level
  • search space
  • complex objects
  • object oriented databases