Polymorphic type inference and assignment

Rapport Année : 1990

(1) ,

1

Xavier Leroy

INRIA Rocquencourt

Pierre Weis

Autre [cs.OH]

Fichier principal

RR-1327.pdf (309.44 Ko)

https://inria.hal.science/inria-00075233

Soumis le : mercredi 24 mai 2006-17:47:11

Dernière modification le : mardi 7 février 2023-03:40:59

Archivage à long terme le : dimanche 4 avril 2010-21:53:11

inria-00075233 , version 1 (24-05-2006)

Xavier Leroy, Pierre Weis. Polymorphic type inference and assignment. RR-1327, INRIA. 1990. ⟨inria-00075233⟩

INRIA INRIA-RRRT INRIA2 LARA

57 Consultations

90 Téléchargements