I'm a typical CS brainlet and managed to graduate university knowing hardly anything about theoretical CS or programming language theory.

What are some good resources to get familiar with this field? Books would be great, online courses are okay too.