Login / Signup
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