Termination combinators forever.

Maximilian C. Bolingbroke Simon L. Peyton Jones Dimitrios Vytiniotis

Published in: Haskell (2011)

Keyphrases

rewrite systems
term rewriting
multiscale
database
neural network
genetic algorithm
recursive functions
databases
multi agent systems
end users
management system
active rules
type checking