Brigitte Pientka, Joshua Dunfield. Programming with proofs and explicit contexts. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 163-173, ACM, 2008. [doi]
@inproceedings{PientkaD08,
title = {Programming with proofs and explicit contexts},
author = {Brigitte Pientka and Joshua Dunfield},
year = {2008},
doi = {10.1145/1389449.1389469},
url = {http://doi.acm.org/10.1145/1389449.1389469},
tags = {programming, context-aware},
researchr = {https://researchr.org/publication/PientkaD08},
cites = {0},
citedby = {0},
pages = {163-173},
booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain},
editor = {Sergio Antoy and Elvira Albert},
publisher = {ACM},
isbn = {978-1-60558-117-0},
}