Next: DATAFUN as a Up: Extended Logic-plus-Functional Programming Previous: Higher-Order Constructors and

Functions Defined by Footed Clauses



Harold Boley & Michael Sintek (sintek@dfki.uni-kl.de)