Programming with proofs and explicit contexts (2008)

by B Pientka, J Dunfield
Venue:In Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming