Les transparents du cours - PPS
Les transparents du cours - PPS
Les transparents du cours - PPS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Quantification universelle (à la Système F)<br />
τ ::= Type<br />
| int Entiers<br />
| α Variable de types<br />
| ∀α.τ Type polymorphe<br />
| ε (τ) Type construit<br />
ε ∈ { . →, blocki}<br />
e ::= Expression<br />
| . . .<br />
| Λα.e Abstraction de type<br />
| e[τ] Application de type<br />
| . . .<br />
◮ <strong>Les</strong> environnements de typage contiennent des variables de type α.