Typing termination in a higher-order concurrent imperative language.

Published in: Inf. Comput. (2010)

Keyphrases

higher order
lambda calculus
programming language
pairwise
language learning
high order
natural language
language processing
type checking
mutual exclusion
concurrent programming
model checking
markov random field
target language
low order
data model
predicate invention