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:22 - 7 self