Practical programming with higher-order encodings and dependent types (2008)

by Adam Poswolsky , Carsten Schürmann
Venue:In Proceedings of the European Symposium on Programming (ESOP ’08
Citations:28 - 1 self