Typed closure conversion for the calculus of constructions.

William J. Bowman Amal Ahmed

Published in: PLDI (2018)

Keyphrases

lambda calculus
higher order
neural network
decision making
strictly convex
automated theorem proving
computer algebra
database query languages
databases
data mining
case study
database systems
artificial neural networks
query language
programming language
automated deduction