Expressivity of Functional-logic Languages and their Implementation

Juan José Moreno Navarro


This talk is focused on the expressive power of functional-logic languages and how to implement the new features they present.

We will not give a detailed list of all the integrated languages proposed (although all of them are listed in the bibliography). When a new feature is presented we will mention the language where it is taken.

Outline of the presentation:

This talk was an invited tutorial at Joint International Conference on Declarative Programming (GULP-PRODE'94) , Peñíscola, Spain, September 1994.

There exists a draft of a full paper

Any comment is welcome in