Bonsai: Synthesis-based Reasoning for Type Systems
Presented on November 7, 2019
Presenter: Mehmet
Presenter: Mehmet
Preview
Mehmet will talk about “Bonsai: Synthesis-based Reasoning for Type Systems” by Kartik Chandra and Rastislav Bodik. The paper presents a compact symbolic tree representation that can be used for synthesis of counterexamples to type soundness and can help exploring the design space of type systems.