Biblio

Author Title Type [ Year(Asc)]
Filters: Author is Dimitar Birov  [Clear All Filters]
1999
Todorova M, Birov D.  1999.  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.  1999.  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)