UE Type systems

ECUE's code : SMUFN309

This course give 3.0 ECTS.

Structure

EUR DS4H

Disciplinary domain

Informatique

Campus

Campus SophiaTech Les Lucioles

Course's level

Master 2

Semester

Semestre impair

Language

Anglais

PRESENTATION

The course aims to introduce a family of formal methods to reason about programs. We will focus on type systems that are useful for statically proving the absence of some bad program behaviours.

Course's manager(s)

Cinzia Di Giusto

In class

12h of lectures
12h of directed studies

PREREQUISITES

No prerequisite

OBJECTIVES

By the end of this course, I should be able to...

Understand the basics of typed systems and how to build them.

CONTENT

Typed lamda calculus

No description
Properties of typed systems

How to prove essential properties of types systems: subject reduction and progress

Access to complete Syllabus (Authentification required)

Important

This syllabus has no contractual value. Its content is subject to change throughout this year: be aware to the last updates