Login / Signup
Towards a Purely Functional Debugger for Functional Programs.
Simon P. Booth
Simon B. Jones
Published in:
Functional Programming (1995)
Keyphrases
</>
functional programs
functional language
programming language
functional programming
term rewriting systems
lazy evaluation
proof planning
stochastic grammar
logic programs
high level
object oriented
general purpose
object oriented programming
execution model
object identity
inference rules