FULL ABSTRACTION AND EXPRESSIVE COMPLETENESS FOR FP.

Abstract

The authors consider issues related to the expressive power of the functional programming (FP) language. In particular, they consider whether a number of variants of FP are fully abstract and expressively complete. By considering these variants, a better understanding is obtained of what is required of a language and semantics in order to guarantee full abstraction and expressive completeness.