An Imperative Type Hierarchy with Partial Products

Erik Meineche Schmidt, Michael I. Schwartzbach. An Imperative Type Hierarchy with Partial Products. In Antoni Kreczmar, Grazyna Mirkowska, editors, Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings. Volume 379 of Lecture Notes in Computer Science, pages 458-470, Springer, 1989.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.