Sébastien Doeraene

EPFL IC SCALA SCALA-GE
BC 359 (Bâtiment BC)
Station 14
1015 Lausanne

Web site:   Site web:   https://sin.epfl.ch

vCard
Données administratives

Domaines de compétences

Language design, compilateurs, machines virtuelles. Pédagogie en informatique.

Publications

Sélection de publications

Enseignement & Phd

Cours

Foundations of software

Le cours présente les fondements sur lesquels les programmes et les langages de programmation sont construits. Il introduit la syntaxe, les systèmes de typage et la sémantique comme éléments de base qui, ensemble, définissent les propriétés d'une partie du programme ou du langage.