Sparcl: a language for partially-invertible computation.

Kazutaka Matsuda Meng Wang

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

programming language
natural language
language learning
specification language
closed world
databases
high dimensional
object oriented
context dependent
search engine
image processing
multi agent
iterative process
english language