Les transparents du cours - PPS
Les transparents du cours - PPS
Les transparents du cours - PPS
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Un système de types pour Hamlet<br />
(x : τ) ∈ Γ<br />
Γ ⊢ x : τ Γ ⊢ i : int<br />
Γ; (x : τ1) ⊢ e : τ2<br />
Γ ⊢ fun x ⇒ e : τ1 → τ2<br />
i ∈ N<br />
Γ ⊢ e1 : τ1 → τ2 Γ ⊢ e2 : τ1<br />
Γ ⊢ e1 e2 : τ2<br />
Γ; (x : τ1 → τ2) ⊢ e : τ1 → τ2<br />
Γ ⊢ fix x. e : τ1 → τ2
Change language