Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
Author(s)
Bibliographic Information
Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
（Technical monograph, PRG-80）
Oxford University Computing Laboratory, Programming Research Group, 1989
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes bibliographical references (p. 44-48)