A Core Calculus of Dependency.

Martín Abadi Anindya Banerjee Nevin Heintze Jon G. Riecke

Published in: POPL (1999)

Keyphrases

real time
artificial intelligence
evolutionary algorithm
database design
automated deduction