Coercive subtyping: theory and implementation. / Luo, Z.; Soloviev, S.; Xue, T.

In: Information and Computation, Vol. 223, 02.2013, p. 18-42.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)18-42
JournalInformation and Computation
Early online date13 Nov 2012
Publication statusPublished - Feb 2013
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 13677657