According to robert (bob) harper, what is a variable?

An unknown object drawn from a specific domain. In the context of Chapter 1. Abstract syntax, it's the placeholder for an AST of a given sort.