A Sound Semantics for OCamllight.

Published in: ESOP (2008)

Keyphrases

formal semantics
logic programming
real world
data sets
machine learning
knowledge base
image sequences
multiscale