A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.
Dominic DugganPublished in: Types in Compilation (1998)
Keyphrases
- user defined
- type checking
- database query languages
- query processor
- data types
- query language
- data model
- relational calculus
- abstract data types
- highly expressive
- object oriented languages
- database management systems
- formal language
- expressive power
- formal semantics
- database
- multi dimensional
- programming language
- feature selection
- machine learning
- databases