A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline

Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review

Lingua originale	Inglese
pagine (da-a)	115-173
Numero di pagine	59
Rivista	Information and Computation
Volume	110
Stato di pubblicazione	Pubblicato - 1994

Accesso al documento

@article{b1c96cb39ae943159232803ba990313b,

title = "A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline",

author = "Paola GIANNINI and ROCCA, \{SIMONA RONCHI DELLA\}",

year = "1994",

language = "English",

volume = "110",

pages = "115--173",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}