Abstract: | This paper reports practical experience in implementing Alice, an extension of Standard ML, on top of an existing implementation of Oz. This approach yields a high-quality implementation with little effort. The combination is an advanced programming system for both Oz and Alice, which offers more than either language on its own.Many thanks go to Ulrike Becker-Kornstaedt, Thorsten Brunklaus, Tobias Müller, and Christian Schulte for their comments on a previous version of this paper. For the numerous discussions regarding the details of the translation scheme, thanks go to Andreas Rossberg, implementor of the Alice compiler frontend. Finally, I'd like to thank the anonymous referees for their commments. |