Certisuslik
Our paper on Certifying the Synthesis of Heap-Manipulating Programs (co-authored with Yasunari Watanabe, Kiran Gopinathan, George Pîrlea and Nadia Polikarpova) will appear at ICFP’21.
Our paper on Certifying the Synthesis of Heap-Manipulating Programs (co-authored with Yasunari Watanabe, Kiran Gopinathan, George Pîrlea and Nadia Polikarpova) will appear at ICFP’21.