Study fundamental concepts on which programming of languages are based, and execution models supporting them. Topics include values, variables, bindings, type systems, control structures, exceptions, ...

In May, a research team from MIT announced a new programming language, Finch. It’s designed to support both flexible control flow and diverse data structures. “Finch facilitates a programming ...