Subtyping Can Have a Simple Semantics

Theoretical Computer Science - Netherlands
doi 10.1016/s0304-3975(06)80005-8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV