A Space Semantics for Core Haskell.

Adam Bakewell Colin Runciman

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

programming language
logic programming
search space
formal semantics
low dimensional
neural network
data mining
information retrieval
search engine
search algorithm
multi agent systems
general purpose
conceptual graphs