The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value.

Thomas Ehrhard Giulio Guerrieri

Published in: PPDP (2016)

Keyphrases

lambda calculus
database query languages
programming language
predicate calculus
program understanding
complex objects
database systems
expressive power
higher order
relational algebra
high level
databases
pairwise
object oriented
co occurrence
reverse engineering