Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu
Recursive proofs for inductive tree data-structures
POPL, 2012.
@inproceedings{POPL-2012-MadhusudanQS, author = "Parthasarathy Madhusudan and Xiaokang Qiu and Andrei Stefanescu", booktitle = "{Proceedings of the 39th Symposium on Principles of Programming Languages}", doi = "10.1145/2103656.2103673", editor = "John Field and Michael Hicks", isbn = "978-1-4503-1083-3", pages = "123--136", publisher = "{ACM}", title = "{Recursive proofs for inductive tree data-structures}", year = 2012, }