Bonsai: synthesis-based reasoning for type systems.

Kartik Chandra Rastislav Bodík

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

Keyphrases

management system
data sets
neural network
case study
distributed systems
real time
image processing
data structure
special case
logic programs
intelligent systems
building blocks