Results
Title: | Intersection Types Fit Well with Resource Control | Authors: | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Issue Date: | 2015 | Publication: | Proceedings - 21st International Conference on Types for Proofs and Programs - TYPES 2015 | Publisher: | Tallinn: Institute of Cybernetics at Tallinn University of Technology | Type: | Conference Paper | ISBN: | 978-9949-430-86-4 Search Idenfier | Collation: | 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 | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.