Programming with binders and indexed data-types.
Andrew CaveBrigitte PientkaPublished in: POPL (2012)
Keyphrases
- data types
- abstract data types
- database management systems
- data model
- data structure
- database systems
- back end
- programming language
- user defined
- database server
- data manipulation language
- visual basic
- data management
- data mining algorithms
- database programming
- application programs
- complex data types
- data sets
- microsoft sql server
- database objects
- object oriented
- data formats
- scripting language
- feature extraction
- databases