Récursion généralisée et inférence de types avec intersection
Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite étendu par des enregistrements récursifs, puis par des mixins, per...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Nice Sophia-Antipolis
2004
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00006314 http://tel.archives-ouvertes.fr/docs/00/04/68/94/PDF/tel-00006314.pdf http://tel.archives-ouvertes.fr/docs/00/04/68/94/ANNEX/tel-00006314.pdf |