In Programming Languages research, we explore the ways in which computations are expressed in written form. Our research focuses on three central ideas: the semantics of a particular piece of program ...

Jimmy is a writer and editor who publishes a weekly newsletter. You can find him on Twitter. Code is the foundation of computing. Whether you are using a social media app on your smartphone or working ...