Generative type abstraction and type-level computation

popl163af-weirich.pdf
PDF file

In  Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Publisher  ACM SIGPLAN

Details

TypeInproceedings
> Publications > Generative type abstraction and type-level computation