BigStep Call-by-name interpreter
small step call by value interpreter