Text this: Semantics of programming languages and model theory