Annunci

In the Moodle page under the section Material a new PDF file is available for download.
That's a detailed and formal description of a functional ML-like language, with syntax, type system and operational semantics.