Order-sorted Algebraic Specifications with Higher-order Functions

A. E. Haxthausen

TypeConference paper [With referee]
ConferenceProceedings of AMAST'95
Year1995    No. 936    pp. 133-151
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering