Foundations of Software - LAMP - EPFL
Foundations of Software - LAMP - EPFL
Foundations of Software - LAMP - EPFL
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Overview<br />
This course will concentrate on operational techniques and type systems.<br />
� Part I: Modeling programming languages<br />
⊲ Syntax and parsing<br />
⊲ Operational semantics<br />
⊲ Inductive pro<strong>of</strong> techniques<br />
⊲ The lambda-calculus<br />
⊲ Syntactic sugar; fully abstract translations<br />
� Part II: Type systems<br />
⊲ Simple types<br />
⊲ Type safety<br />
⊲ References<br />
⊲ Subtyping<br />
9