Précédent : Micro-paiements en commerce éléctronique Remonter : Résultats nouveaux Suivant : Contrats industriels (nationaux, européens et
Précédent : Micro-paiements en commerce éléctronique
Remonter : Résultats nouveaux
Suivant : Contrats industriels (nationaux, européens et
Mots clés : Programmation fonctionnelle, à objets, systèmes de types .
A la conférence ECOOP'97, L. Liquori a présenté une extension du calcul du premier ordre de Abadi et Cardelli; ce calcul supporte l'extension dynamique des objets et le sous-typage. Un travail en cours prolonge l'article susmentionné : on ajoute des «explicit variance annotations», et on type la construction this. Le calcul ainsi obtenu est une extension conservative du calcul initial. Le résultat est paru dans un rapport de recherche [] et a été sélectionne dans les proceedings du colloque TYPES '99 [].