Biblio

Author Title [ Type(Asc)] Year
Filters: Author is Dimitar Birov  [Clear All Filters]
Journal Article
Birov D.  1996.  Intersection types and overloading. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 88(Livre 3):221-238.PDF icon 88-221-238.pdf (509.09 KB)
Todorova M, Birov D.  1996.  Algorithm of construction of the type and its realization in the language W. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 88(Livre 3):459-483.PDF icon 88-459-483.pdf (782.09 KB)

© Faculty of Mathematics and Informatics