Login / Signup
Deriving Functional Programs from Equational Specifications.
Colin Runciman
Published in:
ADT (1986)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
logic programs
theorem proving
functional language
stochastic grammar
equational theories
theorem prover
data mining
database
databases
machine learning
control flow
operational semantics