Programs as Data Structures in λSF-Calculus.

Published in: MFPS (2016)

Keyphrases

kd trees
data structure
provably correct
data types
neural network
computer programs
automatic programming
control program
database
machine learning
web services
case study
spatial databases
answer sets
computer algebra