An architecture for the compilation of persistent polymorphic reflective higher-order languages. - Joao Antonio Correia Lopes (1997)