meta-circular evaluator

interpreter which defines each feature of the interpreted language using a similar facility of the interpreter's host language