Generative type abstraction and type-level computation (2011)

by S Weirich, D Vytiniotis, S Peyton Jones, S Zdancewic
Venue:In Proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of programming languages, POPL ’11