Types et contraintes graphiques - polymorphisme de second ordre et inférence
MLF est un système de types combinant le polymorphisme implicite de seconde classe de ML avec le polymorphisme de première classe mais explicite du Système F. Nous proposons une représentation des types de MLF qui superpose un graphe acyclique orienté du premier ordre (encodant la structure du type...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paris-Diderot - Paris VII
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00357708 http://tel.archives-ouvertes.fr/docs/00/35/77/08/PDF/these-finale-francais.pdf http://tel.archives-ouvertes.fr/docs/00/35/77/08/PDF/these-finale-english.pdf http://tel.archives-ouvertes.fr/docs/00/35/77/08/ANNEX/slides-these.pdf |