Text this: Foundations of Programming Languages