Formally Based Profiling for Higher-Order Functional Languages.
Patrick M. SansomSimon L. Peyton JonesPublished in: ACM Trans. Program. Lang. Syst. (1997)
Keyphrases
- higher order
- high order
- markov random field
- expressive power
- functional language
- pairwise
- databases
- low order
- lower order
- conditional random fields
- cross lingual
- lambda calculus
- functional properties
- target language
- query translation
- language independent
- grammatical inference
- language identification
- multi lingual
- natural images
- objective function
- artificial intelligence
- machine learning