MIL, a Monadic Intermediate Language for Implementing Functional Languages.
Mark P. JonesJustin BaileyTheodore R. CooperPublished in: IFL (2018)
Keyphrases
- functional language
- target language
- native language
- declarative language
- programming language
- description languages
- object oriented languages
- language specific
- linguistic resources
- english text
- computer programs
- deductive databases
- highly expressive
- expressive power
- functional programming
- formal language
- language independent
- formal languages
- supervised learning
- bilingual dictionaries
- natural language
- language learning
- multiple instance learning
- language resources
- monadic second order logic
- database languages
- indian languages
- language identification
- pattern languages
- object identity
- source language
- comparable corpora
- machine translation
- language constructs
- xml files
- language processing
- knowledge representation languages
- word forms
- intermediate representations
- multilingual documents