Conference paper

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.

Related

Conference paper

Garlic project

M. Tork Roth, M. Arya, et al.

SIGMOD 1996