The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply these concepts in their reasoning.| edu.epfl.ch
Transforming a function in such a way that it only takes a single argument| en.wikipedia.org