A contextual semantics for concurrent Haskell with futures.

David Sabel Manfred Schmidt-Schauß

Published in: PPDP (2011)

Keyphrases

programming language
contextual information
formal semantics
functional programming
logic programming
context sensitive
semantic information
genetic algorithm
artificial intelligence
xml documents
general purpose
context dependent
default reasoning
financial markets
semantic representation
contextual knowledge