| Title | Algorithm of construction of the type and its realization in the language W |
| Publication Type | Journal Article |
| Year of Publication | 1996 |
| Authors | Todorova M, Birov D |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 88 |
| Issue | Livre 3 |
| Pagination | 459-483 |
| ISSN | 0205-0808 |
| Abstract | 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. |
| Attachment | Size |
|---|---|
 88-459-483.pdf | 782.09 KB |