Generative Type Abstraction and Type-level Computation (2010)

by Simon Peyton Jones , Dimitrios Vytiniotis , Stephanie Weirich , Steve Zdancewic