Authors: Ghilezan, Silvia 
Title: Denotational and Operational Preciseness of Subtyping
Conference: EUTypes 2017 - EUTypes Meeting, 30-31 January 2017, Ljubljana, Slovenia
Issue Date: Jan-2017
Rank: M34

Show full item record

Page view(s)

19
checked on Dec 2, 2024

Google ScholarTM

Check


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