Algorithm of construction of the type and its realization in the language W

ЗаглавиеAlgorithm of construction of the type and its realization in the language W
Вид публикацияJournal Article
Година на публикуване1999
АвториTodorova M, Birov D
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том88
IssueLivre 3
Pagination459-483
ISSN0205-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.

Прикачен файлРазмер
PDF icon 88-459-483.pdf782.09 KB