Formal Representations for Recursively Defined Functional Programs.

John H. Williams

Published in: ICFPC (1981)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
functional language
data structure
logic programs
rough sets
sort merge
stochastic grammar