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