An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry.

Jan Christiansen Daniel Seidel Janis Voigtländer

Published in: WFLP (2010)

Keyphrases

operational semantics
formal semantics
higher order
semantic information
model theoretic
databases
genetic algorithm
database
data mining
learning algorithm
web services
model checking
mental states
semantic representation
specification language
functional analysis