So which textbook contains the meaning of "meaning"? Oh, that's recursive! Which is Computer Science's domain of expertise, not the public domain. We are talk

So which textbook contains the meaning of "meaning"? Oh, that's recursive! Which is Computer Science's domain of expertise, not the public domain. We are talking about formal semantics here. What do programs (and computer languages are themselves programs) mean? Point 0 of Wadler's law. https://en.wikipedia.org/wiki/Semantics_(computer_science) https://en.wikipedia.org/wiki/Semantics_(computer_science) If you can type-check it at compile time then it is NOT dynamic dispatch. It's a contextual confusion.