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

Arguing about which programming language is the best one is a favorite pastime among software developers. The tricky part, of course, is defining a set of criteria for "best." With software ...