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.
Algorithme de typage<br />
◮ Existe-t-il un algorithme réalisant cette spécification ?<br />
⇒ En absence de toute annotation, un moteur complet<br />
d’inférence des types est nécessaire (c’est le sujet de la seconde<br />
partie de ce <strong>cours</strong>).