Generative type abstraction and type-level computation (0)

by Stephanie Weirich, Dimitrios Vytiniotis, Simon L Peyton Jones, Steve Zdancewic
Venue:In POPL’11