I detta dokument presenteras definitionen av ett språk med reflektion primitiva. Språket är ett homogent flerstegsspråk som ger förmågan till kodanalys genom att inkludera en mekanism för mönstermatchning som gör det möjligt att kontrollera strukturen på de angivna uttrycken och förstöra dem i komponentdelar. Citerade uttryck inkluderar en uttrycklig kommentar av deras sammanhang som används för dynamisk slutledning av typ, där en dynamisk skriva disciplin baserad på Hinze och Cheney metod används för att skriva citerade uttryck. Detta dokument följer Sheards och Pasalics tillvägagångssätt när det gäller användningen av meta-språk som verktyg för språkdesign. I denna mening visas det hur man ska representera syntaxen, den statiska såväl som den dynamiska semantiken av det föreslagna språket i termer av  påmega konstruktioner.
Viera och Pardo REF har föreslagit ett flerstegsspråk med intensifieringskodanalys, det vill säga mönstermatchning på kod.
A multi-stage language with intensional analysis
{'venue': "GPCE '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}