Computers need programming languages to function. That’s just a simple fact of life. However, these languages didn’t just spring up out of nowhere. They were developed by people for explicit purposes.

C++, a programming language with a long history yet always fresh, has a legendary status in the world of programming competitions. For many participants in major competitions like the Olympiad in ...

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 ...

C is one of the most influential programming languages ever created. In just 100 seconds, here’s a crash course covering its ...

Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems. Our interests ...

Bel is interesting, not least because it highlights the enduring and improbable longevity of one of the earliest high-level programming languages. That’s no small feat, especially given the ...