Login / Signup
Expressing and Reasoning About Non-Deterministic Functional Programs.
John Hughes
John O'Donnell
Published in:
Functional Programming (1989)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
functional language
logic programs
stochastic grammar
artificial intelligence
knowledge representation
programming language
query language
logic programming
functional programming