Резултати
Назив: | Intersection Types Fit Well with Resource Control | Аутори: | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Година: | 2015 | Публикација: | Proceedings - 21st International Conference on Types for Proofs and Programs - TYPES 2015 | Издавач: | Tallinn: Institute of Cybernetics at Tallinn University of Technology | Тип резултата: | Конференцијски рад | ISBN: | 978-9949-430-86-4 Претражи идентификатор | Колација: | 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 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.