The thesis investigates several aspects of the expressive power of declarative programming languages. There seems to be no widely accepted definition of expressive power of programming languages. In the literature expressiveness may mean power to describe algorithms, or to describe computations, or to check types, etc. Presenting a clearer idea of the expressiveness of programming languages is a part of the aim of the research. We concentrate on the expressive power of declarative languages because these languages are at the highest level of abstraction.
People argue about relative expressiveness between declarative languages.
Doc 117 ACM Transaction on Programming Languages and Systems - Martelli, Montanari et al. Doc 50 Swedish Institute of Computer Science - Carlsson, Widen et al.