(1) The meta-circular interpreter does not shed much … (2) Changing the order of application used in … [e.g., call-by value in the defining language results in call-by-value in the defined language] … (3) … As far as is known, it is impossible … [imperative features such as labels and jumps] without introducing similar features into the defining language. In the … [these objections]
Google-1
Google-2
Copyright clearance needed for quotation.