Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL

• Authors:

• Bernd Krieg-Brückner;Donald Sannella

• Affiliations:

• -;-

• Venue:
• TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
• Year:
• 1991