Библиография

Автор [ Заглавие(Desc)] Тип Година
Филтри: Автор is Dimitar Birov  [Изчисти всички филтри]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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)
I
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)

© Факултет по Математика и Информатика