inria-00075233, version 1

Polymorphic type inference and assignment

Xavier Leroy () ¹, Pierre Weis ()

N° RR-1327 (1990)

• 1:  INRIA Rocquencourt (INRIA Rocquencourt)
• INRIA

• Domain : Computer Science/Other
• Internal note : RR-1327
• Comment : Projet FORMEL

• inria-00075233, version 1
• http://hal.inria.fr/inria-00075233
• oai:hal.inria.fr:inria-00075233
• From: Rapport De Recherche Inria <>
• Submitted on: Wednesday, 24 May 2006 17:47:11
• Updated on: Wednesday, 31 May 2006 14:24:35