CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
M. Wand. Type inference for record concatenation and simple objects. In Proceedings of the 4th IEEE Symposium on Logic in Computer Science, pages 92--97, 1989.
M. Wand. Type inference for record concatenation and simple objects. In Proceedings of the 4th IEEE Symposium on Logic in Computer Science, 1989.
M. Wand. Type inference for record concatenation and simple objects. Fourth IEEE Symposium on Logic in Computer Science, 1989, pp. 92--97. A Subtyping recursive types We use the higher-order iterators to derive a standard inference rule about subtyping. Recall the definition
M. Wand. Type inference for records concatenation and simple objects. In Proceedings of 4th IEEE Symposium on Logic in Computer Science, pages 92--97, 1989.
M. Wand. Type inference for records concatenation and simple objects. In Proceedings of 4th IEEE Symposium on Logic in Computer Science, pages 92-97, 1989.
M. Wand. Type inference for records concatenation and simple objects. In Proc. Symp. on Logic in Computer Science, pages 92-97, 1989. 24
Wand, M. 1989. Type inference for records concatenation and simple objects. In Proceedings of the 4th IEEE Symposium on Logic in Computer Science. IEEE, New York, 92-97.