Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract).
Chrysafis HartonasMatthew HennessyPublished in: CSL (1997)
Keyphrases
- extended abstract
- higher order
- lambda calculus
- natural images
- pairwise
- programming language
- high order
- language processing
- english language
- language learning
- concurrent programming
- functional language
- specification language
- markov random field
- relational databases
- natural language
- operational semantics
- multiscale
- image segmentation
- artificial intelligence
- conditional random fields
- computational linguistics
- low order
- machine learning