Program Bifurcation for a Polymorphic Typed Functional Language.

Anne De Niel Eddy Bevers Karel De Vlaminck

Published in: PEPM (1991)

Keyphrases

functional language
functional programs
functional programming
programming language
proof planning
database
databases
data mining
high level
search space
theorem proving