The efficient implementation of pure declarative languages is alsovery difficult (curiously, the implementation problem is the dual ofthe automatic parallelization problem, an observation that we ...