Practical programming with higherorder encodings and dependent types (2008)

by A Poswolsky, C Schürmann
Venue:In European Symposium on Programming