Title | Specifying algebraic data types by domain equations |
Publication Type | Conference Paper |
Year of Publication | 1981 |
Authors | Ehrich, H. - D. |
Conference Name | FCT |
Publisher | Springer LNCS 117 |
Abstract | The paper nrovides the theoretical foundation for a new algebraic specification |
Attachment | Size |
---|---|
1981FCT-ADE.pdf | 485.92 KB |