Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing.
Chrysafis HartonasMatthew HennessyPublished in: Inf. Comput. (1998)
Keyphrases
- higher order
- lambda calculus
- language learning
- natural images
- natural language
- programming language
- high order
- english language
- concurrent programming
- conditional random fields
- information retrieval
- specification language
- markov random field
- functional language
- graphical models
- mutual exclusion
- java programming
- data sets