Semantics of Linear Continuation-Passing in Call-by-Name.

Masahito Hasegawa

Published in: FLOPS (2004)

Keyphrases

logic programming
relational databases
formal semantics
neural network
machine learning
search engine
social networks
image processing
case study
reinforcement learning
expert systems
semantic information
deductive databases