Regardless of semantics, I mean that a compiler will read the code from the top to the bottom and when it encounters a reference, it either must have already be

Regardless of semantics, I mean that a compiler will read the code from the top to the bottom and when it encounters a reference, it either must have already been defined or it doesn't exist and the compiler should error out. This is orthogonal to top down in the way that your link suggests.