Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection.
David Raymond ChristiansenPublished in: IFL (2014)
Keyphrases
- high level
- low level
- higher level
- low level features
- programming language
- mid level
- visual cues
- middle level
- intermediate level
- information systems
- lower level
- visual information
- type checking
- semantic gap
- semantic information
- artificial intelligence
- databases
- conceptual model
- real time
- computer mediated
- object oriented
- object level
- multiscale
- social networks