Fully Abstract Translations Between Functional Languages.
Jon G. RieckePublished in: Math. Struct. Comput. Sci. (1993)
Keyphrases
- query translation
- machine translation
- bilingual dictionaries
- functional language
- language independent
- expressive power
- cross lingual
- target language
- high level
- machine translation system
- real time
- higher level
- english text
- first order logic
- low level
- natural language
- artificial intelligence
- genetic algorithm
- grammatical inference
- statistical machine translation
- data mining
- databases
- multi lingual
- functional programming
- database
- multilingual information retrieval