Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
By: Joseph A. Goguen and José Meseguer.
Contributors: Meseguer, José.
Series: Report / Center for the Study of Language and Information ;; no. CSLI-87-92; Report (Center for the Study of Language and Information (U.S.)) ;; no. CSLI-87-92.
Publisher: CSLI/SRI International
Published: 1987
Place of publication: Menlo Park, CA (333 Ravenwood Ave., Menlo Park 94025)
Language: eng
Number of pages: 22
Subjects: Abstract data types (Computer science); Albegra
Notes: Bibliography: p. 21-22.
"March 1987."