TY  - RPRT
TI  - Bonsai: Synthesis-Based Reasoning for Type Systems
AU  - Kartik Chandra
AU  - Rastislav Bodik
PY  - 2017
UR  - https://arxiv.org/abs/1708.00551
ID  - 1708.00551
ER  -