| Authors: | Ghilezan, Silvia Ivetić, Jelena Lescanne, Pierre Likavec, Silvia |
Title: | Intersection types fit well with resource control | Conference: | 21. Intenational conference on Types for Proofs and Programs - TYPES 2015, May 2015, Tallin, Estonia | Issue Date: | 2015 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.