Label dependent lambda calculus and gradual typing.

Weili Fu Fabian Krause Peter Thiemann

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
databases
data model
software engineering
general purpose
complex objects