Abstract: In this paper we present the design and the implementation of a compiler for Aïoli, a toolkit to build interactive and symbolic applications. This compiler produces executable code from pretty printing specification written in Ppml. The originality of the compilation is that it maintains dynamic links between the internal structure of the object that is displayed and what it is shown on the screen. It is then easy to build mechanisms such as structured navigation and incremental updating.