Polymorphic Type Inference and Abstract Data Types.
Konstantin LäuferMartin OderskyPublished in: ACM Trans. Program. Lang. Syst. (1994)
Keyphrases
- abstract data types
- type checking
- data types
- data abstraction
- programming language
- relational database systems
- object oriented databases
- data model
- spatial aggregation
- data structure
- databases
- data management
- behavioral models
- algebraic operations
- database applications
- object oriented
- management system
- relational databases
- data analysis
- data mining
- real world