|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
checked on Mar 28, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.