• G.M. Pinna (lecturer)
• T. Cimoli, G. Casu (teaching assistants)

The goals of this course are:

• Highlighting the basics features of various programming paradigms
• Getting a grasp of the mathematical theory behind programming languages
• Gently introducing functional programming languages
• Implementing some abstract machines and static analyses for programming languages.

Check constantly also the news page of the website informatica.unica.it, do not stick to this page.

1. Introductory Lecture (link)

1. some exercises on grammars and parsing

1. Semantics (approfondimento del Gabbrielli & Martini)
2. Alan Turing paper on Computable Numbers
3. Abstract machines for programming language implementation by S. Diehl, P. Hartel and P. Sestoft
4. How to write an interpreter slides
5. Operational interpreter of an imperative language
6. Operational interpreter of a functional language

1. Introductions to functional programming and OCAML basic: slides, exercises
2. Functions: slides, exercises
3. Pattern matching, tagged unions: slides,exercises
4. Higher order functions : slides,exercises
5. Lists: slides, exercises, Test
6. Recursive types: slides, exercises
7. Esercitazione: facSimile
8. Combinators: map and filter slides, exercises
9. Fold: slides, exercises
10. Trees: slides, exercises
11. Esercitazione: exercises

1. Ocaml basics: emacs mode; arithmetic expressions; booleans and conditionals; definitions; functions; partial functions; compiling. ( assignment )
2. Recursive programming and pattern matching ( assignment )
3. Higher-order functions and polymorphism ( assignment )
4. Lists ( assignment )
5. Types ( assignment )
6. Interpreter of an imperative language (sources | assignment)
7. IMP interpreter: (sources)
8. IMP compiler: (ASM specification | Compiler specification)

Here you can find some links to teaching resources about OCaml.