Так называемый “типизированный конечный неразмеченный” подход Каретта и прочих собрал и усовершенствовал ряд техник для представления типизированных языков высшего порядка в типизированном метаязыке вместе с сохраняющей тип интерпретацией, компиляцией и частичным исполнением. Данный подход является альтернативой традиционной, “изначальной”, кодировке объекта языка как (обобщенный) алгебраический тип данных. Оба подхода позволяют множественные интерпретации выражения: вычисление, форматированный вывод и т.д.