Coercive subtyping: theory and implementation

Z. Luo, S. Soloviev, T. Xue

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	18-42
Journal	Information and Computation
Volume	223
Early online date	13 Nov 2012
DOIs	https://doi.org/10.1016/j.ic.2012.10.020
Publication status	Published - Feb 2013

Access to Document

@article{ffa1907391e1429481ee316b9000a84c,

title = "Coercive subtyping: theory and implementation",

author = "Z. Luo and S. Soloviev and T. Xue",

year = "2013",

month = feb,

doi = "10.1016/j.ic.2012.10.020",

language = "English",

volume = "223",

pages = "18--42",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}