Functors for Proofs and Programs (2004)

by Jean-Christophe Filliâtre, Pierre Letouzey
Venue:In European Symposium on Programming, ESOP 2004, volume 2986 of LNCS