Programming Languages
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.
Teaching material
Slides of Class lectures
Introductory Lecture (link)
Exercises
Miscellanea
-
-
-
How to write an interpreter
slides
-
-
Lab slides & exercises
Further documentation
Ocaml basics: emacs mode; arithmetic expressions; booleans and conditionals; definitions; functions; partial functions; compiling. (
assignment )
-
-
-
-
-
-
-
Books and online resources
Here you can find some links to teaching resources about OCaml.