On the design of a functional programming framework

A framework for compiler construction of functional programming languages is described. The framework has been designed to allow experimenting with functional programming languages and their implementations. Its three main characteristics are: (1) given the existing implementation of a functional programming language (not necessary in a source code), the implementation of a new functional programming language can be easily and efficiently developed, using the framework; (2) the framework enables enhancement of already implemented languages with new features; and (3) implementations of the languages in the framework are transparent, which can be freely exchanged between the languages.