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.

Authors

Erik Meineche Schmidt

This author has not been identified. Look up 'Erik Meineche Schmidt' in Google

Michael I. Schwartzbach

Identified as Michael I. Schwartzbach