Embedding invertible languages with binders: a case of the FliPpr language.
Kazutaka MatsudaMeng WangPublished in: Haskell@ICFP (2018)
Keyphrases
- target language
- description languages
- native language
- linguistic resources
- language learning
- declarative language
- highly expressive
- expressive power
- vector space
- object oriented languages
- english text
- multilingual documents
- formal language
- programming language
- formal languages
- language resources
- language independent
- natural language
- source language
- spoken language
- machine translation system
- object oriented programming
- database languages
- machine translation