Reasoning About Functional Programs in Nuprl.

Douglas J. Howe

Published in: Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
databases
search space
programming language
functional programming