Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.
David R. LesterSava MintchevPublished in: CSL (1994)
Keyphrases
- higher order
- functional language
- programming language
- expressive power
- high order
- general purpose
- markov random field
- natural images
- language independent
- pairwise
- functional programming
- low order
- cross lingual
- lambda calculus
- programs written
- constraint language
- grammatical inference
- batch processing
- lower order
- query language
- data model
- query translation
- text summarization
- target language
- information retrieval
- flowshop
- conditional random fields
- description logics
- java bytecode