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

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.