Advanced Semantics (ASM)

• Official homepage (with schedule)

Description

The objective of this course is to acquire the fundamental concepts and tools for understanding the scene behind programming languages.

Keywords

Semantics, monads, continuations, types, formalization

Prerequisites

An introductive course in operational semantics (as in SOS) and some knowledge of the OCaml language.

Contenu

• Big step and small step semantics
• Effects such as environments, state, and exceptions
• Explicit manipulation of continuations (call/cc, generators, algebraic effects)
• Abstract machines and control operators
• Programming and specifying with monads

Teacher

Alan Schmitt