Uniform Memory and Serialization for Lambda Calculus

Anton Salikhmetov

Published in: CoRR (2010)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
database systems
complex objects
artificial intelligence
software engineering
main memory
software maintenance