Maximal sharing in the Lambda calculus with letrec.

Clemens Grabmayer Jan Rochel

Published in: ICFP (2014)

Keyphrases

lambda calculus
programming language
predicate calculus
complex objects
higher order
program understanding
database query languages
general purpose
data management