Conference
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.
Authors
Krieg-Brückner B; Sannella D
Editors
Abramsky S; Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
494
Pagination
pp. 313-336
Publisher
Springer
Publication Date
January 1, 1991
ISBN-10
3-540-53981-6
Conference proceedings
TAPSOFT, Vol.2