Syntactic Type Soundness for HM(X).

Christian Skalka François Pottier

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

Keyphrases

natural language
higher level
data sets
real world
artificial intelligence
search engine
image processing
high level
multiscale
domain specific
syntactic semantic