The Hierarchy of Finitely Typed Functional Programs (Short Version)

A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn

Published in: LICS (1987)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
databases
machine learning
search algorithm
general purpose