Generative type abstraction and type-level computation

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

Details

Publication typeInproceedings
Published inProceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PublisherACM SIGPLAN
> Publications > Generative type abstraction and type-level computation