A Gradual Probabilistic Lambda Calculus.

Wenjia Ye Matías Toro Federico Olmedo

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

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
program understanding
database
knowledge base
formal model