Rezultati
Naziv: | Intersection Types Fit Well with Resource Control | Autori: | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Godina: | 2015 | Publikacija: | Proceedings - 21st International Conference on Types for Proofs and Programs - TYPES 2015 | Izdavač: | Tallinn: Institute of Cybernetics at Tallinn University of Technology | Tip rezultata: | Konferencijski rad | ISBN: | 978-9949-430-86-4 Pretraži identifikator | Kolacija: | str. 48-49 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4239 https://enauka.gov.rs/handle/123456789/500211 |
URL: | https://cs.ioc.ee/types15/abstracts-book/contrib21.pdf | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.