inria-00075233, version 1

Polymorphic type inference and assignment

Xavier Leroy () ¹, Pierre Weis ()

N° RR-1327 (1990)

• 1 :  INRIA Rocquencourt (INRIA Rocquencourt)
• INRIA

• Domaine : Informatique/Autre
• Référence interne : RR-1327
• Commentaire : Projet FORMEL

• inria-00075233, version 1
• http://hal.inria.fr/inria-00075233
• oai:hal.inria.fr:inria-00075233
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 17:47:11
• Dernière modification le : Mercredi 31 Mai 2006, 14:24:35