Programming with proofs and explicit contexts

by Brigitte Pientka
Venue:In Symposium on Principles and Practice of Declarative Programming, 2008. François Pottier and Nadji
Citations:20 - 7 self