Alexander Paar, Stefan Gruner. Static typing with value space-based subtyping. In Irwin Brown, Kosheek Sewchurran, Hussein Suleman, editors, Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT Conf. 2011, Cape Town, South Africa, October 3-5, 2011. pages 177-186, ACM, 2011. [doi]
Abstract is missing.