A Loop-Detecting Interpreter for Lazy, Higher-Order Programs.

John Hughes Alex Ferguson

Published in: Functional Programming (1992)

Keyphrases

higher order
control program
error handling
high order
markov models
programming language
computer programs
pairwise
markov random field
automatic detection
neural network
evolutionary algorithm
low order
logic programs
answer sets
loop formulas