A related line of research is our work on compositional logic programming . These goals are similar to those of the functional logic language and the higher-order logic programming communities, but our methods are a little different. Journal of Functional and Logic Programming Michael Hanus' Functional and Logic Programming page Hardware design Ruby is a relational programming language suited to the design of synchronous hardware. The derivation of a Ruby design from a high-level specification proceeds by equational reasoning, in a similar way to the derivation of an efficient functional program from an obvious one. This research is to use such derivations to control the complexity of large designs, and to improve the designer's confidence in their correctness.
Generic programs are polymorphic, but typically in a wider sense than the traditional one.
Genericity has been recognized as an important concept in both functional and object-oriented programming. Inductive programming has been well explored, and is well understood, but it is only half of the story.