Language-parameterized Proofs for Functional Languages with Subtyping.
Seth GalassoMatteo CiminiPublished in: FLOPS (2024)
Keyphrases
- functional language
- target language
- native language
- description languages
- computer programs
- linguistic resources
- highly expressive
- language specific
- declarative language
- object oriented languages
- english text
- programming language
- functional programming
- database languages
- expressive power
- multilingual documents
- formal language
- natural language
- type checking
- formal languages
- spoken language
- european languages
- language constructs
- theorem prover
- mildly context sensitive
- databases
- n gram
- statistical machine translation
- language independent
- character n grams
- knowledge representation languages
- machine translation
- programs written
- language processing
- pattern languages
- natural deduction
- constraint language
- comparable corpora
- xml query languages
- regular languages