A Perspective on the Dependency Core Calculus.

Maximilian Algehed

Published in: PLAS@CCS (2018)

Keyphrases

evolutionary algorithm
database
neural network
learning algorithm
data structure
search algorithm
viewpoint
automated deduction