Coercive subtyping: theory and implementation

Z. Luo, S. Soloviev, T. Xue

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)18-42
JournalInformation and Computation
Volume223
Early online date13 Nov 2012
DOIs
Publication statusPublished - Feb 2013

Cite this