HOPLA-A Higher-Order Process Language.

Mikkel Nygaard Glynn Winskel

Published in: CONCUR (2002)

Keyphrases

higher order
pairwise
high order
domain knowledge
lambda calculus
data mining
computer vision
decision making
data structure
natural language
general purpose
natural images
conceptual model
specification language