A typed store-passing translation for general references.

François Pottier

Published in: POPL (2011)

Keyphrases

special case
machine translation
higher order
databases
relational databases
data sets
neural network
computer vision
decision making
e learning
multiscale
digital libraries
mobile robot
co occurrence
cross language