| 
|
QuoteRef: mitcJG_1977
topics >
all references >
ThesaHelp:
references m-o
Topic:
data type as a set of operations
Topic:
type parameter
Topic:
separate a module's interface specification from its implementation
Topic:
automatic selection of algorithm for abstract data type
Topic:
generic operations and polymorphism
Topic:
interface type
Reference
Mitchell, J.G., Wegreit, B., "Schemes: a high level data structuring concept ", in Yeh, R. (ed.), Trends in Programming Methodology Data Structuring, 14, Englewood Cliffs, New Jersey, Prentice-Hall, 1977. Google
Other Reference
XEROX Palo Alto Research Center, Report CSL-77-1, January 1977,
Stanford Computer Library #9982.
3 ;;Quote: a scheme completely specifies the behavior of a type family; initialization, assignment, operations, and finalization
4 ;;Quote: a scheme with type and procedure parameters is expanded into an instance, either type or constant
4+;;Quote: a scheme's parameters can be types, procedures, and any other value known at compile time
4 ;;Quote: schemes can have the same name if they are different implementations of the same abstraction; need mechanism to pick the best one
9 ;;Quote: generic selection of procedures by matching argument types with parameter types
25 ;;Quote: annotate a type parameter with a needs specification to restrict a variable without defining a new type
25 ;;Quote: select appropriate scheme by usage parameters for the abstract data type
ThesaHelp: references m-o (268 items)
Topic: data type as a set of operations (38 items)
Topic: type parameter (34 items)
Topic: separate a module's interface specification from its implementation (86 items)
Topic: automatic selection of algorithm for abstract data type (7 items)
Topic: generic operations and polymorphism (65 items)
Topic: interface type (50 items)