@inproceedings{Unno_2009,
    doi = {10.1145/1599410.1599445},
    url = {https://doi.org/10.1145%2F1599410.1599445},
    year = {2009},
    month = {sep},
    publisher = {{ACM}},
    author = {Hiroshi Unno and Naoki Kobayashi},
    title = {Dependent type inference with interpolants},
    booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} conference on Principles and practice of declarative programming}
}

@inproceedings{Unno_2009, doi = {10.1145/1599410.1599445}, url = {https://doi.org/10.1145%2F1599410.1599445}, year = {2009}, month = {sep}, publisher = {{ACM}}, author = {Hiroshi Unno and Naoki Kobayashi}, title = {Dependent type inference with interpolants}, booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} conference on Principles and practice of declarative programming} }