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:27 - 2 self