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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	115-173
Number of pages	59
Journal	Information and Computation
Volume	110
Publication status	Published - 1994

Access to Document

@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.",

}