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