Заглавие | Algorithm of construction of the type and its realization in the language W |
Вид публикация | Journal Article |
Година на публикуване | 1996 |
Автори | Todorova M, Birov D |
Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Том | 88 |
Issue | Livre 3 |
Pagination | 459-483 |
ISSN | 0205-0808 |
Резюме | The notion of polymorphism describes data, which possess more than one type, or functions, which operate over a set of types in programming languages. In this paper an implementation of Milner's polymorphic type interface algorithm is described. It is proved that the algorithm is sound, effective and supports a rich and flexible type system. A programming language with equations and unification W is used. |
Прикачен файл | Размер |
---|---|
![]() | 782.09 KB |