LEARNING OUTCOMES

Gaining a deeper and more critical knowledge of programming languages, through the learning of theoretical foundations and the comparison of different paradigms.

TEACHING METHODS

Traditional

SYLLABUS/CONTENT

• Foundations: small-step semantics, type systems, soundness
• Functional paradigm: lambda calculus, call-by-value and call-by-name, simply-typed lambda-calculus, polymorphism, Hindley-Milner inference. Functional programming in Haskell, lazy evaluation, type classes.
• Effects: extensions of lambda-calculus with imperative features and exceptions
• Object-oriented paradigm: subtyping, Featherweight Java
• Logic paradigm: Prolog syntax, model-theoretic semantics, SLD resolution.
• Coinduction and coinductive logic programming

RECOMMENDED READING/BIBLIOGRAPHY

Course notes

Benjamin Pierce, Types and Programming Lannguages