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.
@inproceedings{Schwartzbach90,
title = {Infinite Values in Hierarchical Imperative Types},
author = {Michael I. Schwartzbach},
year = {1990},
researchr = {https://researchr.org/publication/Schwartzbach90},
cites = {0},
citedby = {0},
pages = {254-268},
booktitle = {CAAP 90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings},
editor = {André Arnold},
volume = {431},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-52590-4},
}