Biblio

Author Title [ Type(Desc)] Year
Filters: Author is Dimitar Birov  [Clear All Filters]
Journal Article
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)
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)

© Faculty of Mathematics and Informatics