@inproceedings{Pientka_2008,
    doi = {10.1145/1389449.1389469},
    url = {https://doi.org/10.1145%2F1389449.1389469},
    year = {2008},
    month = {jul},
    publisher = {{ACM}},
    author = {Brigitte Pientka and Jana Dunfield},
    title = {Programming with proofs and explicit contexts},
    booktitle = {Proceedings of the 10th international {ACM} {SIGPLAN} conference on Principles and practice of declarative programming}
}

@inproceedings{Pientka_2008, doi = {10.1145/1389449.1389469}, url = {https://doi.org/10.1145%2F1389449.1389469}, year = {2008}, month = {jul}, publisher = {{ACM}}, author = {Brigitte Pientka and Jana Dunfield}, title = {Programming with proofs and explicit contexts}, booktitle = {Proceedings of the 10th international {ACM} {SIGPLAN} conference on Principles and practice of declarative programming} }