Week Date Topics Material Deadlines
1(46) 14/11 Introduction - slides
16/11 Concepts and definitions – slides Programming language design concepts, David A. Watt, Chapters 2-5
2(47) 21/11 Concepts and definitions - rule induction – slides Practical Foundations of Programming languages, Robert Harper, Chapters 1-3
23/11 Lecture cancelled
3(48) 28/11 Domain specific languages (embedded vs stand-alone) – slides Paul Hudak, Domain Specific Languages
30/11 Lambda calculus - slides Types and Programming Languages, Benjamin Pierce, Chapters 1-3 and 8. Exercises and Solutions
1/12 Submit your project proposal.
4(49) 5/12 Domain specific languages (binding) - slides and slides
7/12 Lecture cancelled
5(50) 12/12 Domain specific languages in Racket - slides
14/12 Template programming in Haskell - slides
6(51) 19/12 Scala & F#
21/12 Swift & Scala LMS
22/12 Submit your progress report
7(2) 09/1 Parallelism and concurrency in Erlang
11/1 Janus & Rust
8(3) 16/1 Parallelism and Concurrency in Haskell
18/1 Lua & Idris
9(4) 23/1
25/1 Poster presentations in de Vagant
26/1 Submit your final report
10(4) 30/1 Exam