Anatomy of Programming Languages
William R. Cook · 2016
Interpretation and Types So far we have been focused on writing interpreters for small languages. An interpreter is a meta-program that evaluates a program in a written in the interpreted language. When evaluating an expression such as: