Tagless staged interpreters for typed languages.
Emir PasalicWalid TahaTim SheardPublished in: ICFP (2002)
Keyphrases
- language independent
- expressive power
- higher order
- virtual machine
- databases
- grammatical inference
- database
- lambda calculus
- description languages
- cross lingual
- real world
- neural network
- description language
- representation language
- expert systems
- language identification
- multi lingual
- information retrieval
- database query languages
- programs written
- fixed order
- arabic language
- web services