Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, and Steve Zdancewic
January 2011
 PDF file |
In Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Publisher ACM SIGPLAN
Details
| Type | Inproceedings |
Related People
Share
