@inproceedings{afeecae0aac7431db1e34f2ec90f1965,
title = "Type inference in polymorphic type discipline",
abstract = "A hierarchy of type assignment systems is defined, which is a complete stratification of the polymorphic type assignment system. For each of such systems a type inference algorithm is given.",
author = "Paola Giannini and {Ronchi Della Rocca}, Simona",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 1st International Conference on Theoretical Aspects of Computer Software, TACS 1991 ; Conference date: 24-09-1991 Through 27-09-1991",
year = "1991",
doi = "10.1007/3-540-54415-1_39",
language = "English",
isbn = "9783540544159",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "18--37",
editor = "Meyer, {Albert R.} and Takayasu Ito",
booktitle = "Theoretical Aspects of Computer Software - International Conference TACS 1991, Proceedings",
address = "Germany",
}