A Call-by-Need Lambda Calculus with Scoped Work Decorations.

David Sabel Manfred Schmidt-Schauß

Published in: Software Engineering (Workshops) (2016)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
higher order
databases
high level
knowledge base
query language