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

Paola GIANNINI, RONCHI DELLA ROCCA SIMONA

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 - 1 Jan 1994

Cite this

@article{b1c96cb39ae943159232803ba990313b,

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

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

year = "1994",

month = jan,

day = "1",

language = "English",

volume = "110",

pages = "115--173",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}