Infinite Values in Hierarchical Imperative Types

Michael I. Schwartzbach. Infinite Values in Hierarchical Imperative Types. In André Arnold, editor, CAAP 90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Volume 431 of Lecture Notes in Computer Science, pages 254-268, Springer, 1990.

Abstract

Abstract is missing.