A Typed Lambda Calculus with Gradual Intersection Types.

Pedro Ângelo Mário Florido

Published in: PPDP (2022)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
higher order
databases
general purpose
fault diagnosis
database design