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 existentielle<br />
τ ::= Type<br />
| int Entiers<br />
| α Variable de types<br />
| ∀α.τ Type polymorphe<br />
| ∃α.τ Type existentiel<br />
| ε (τ) Type construit<br />
ε ∈ { . →, blocki}<br />
e ::= Expression<br />
| . . .<br />
| pack e as ∃α.τ Empaquetage<br />
| unpack e as α, x in e Dépaquetage<br />
| . . .