Generative type abstraction and type-level computation.

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic

Browse the full POPL paper archive.