Reduce, Reuse, Recycle, Type-check. A survey of typed generic programming approaches

Vlad Vergu. Reduce, Reuse, Recycle, Type-check. A survey of typed generic programming approaches. In Eelco Visser, editor, Proceedings of the Seminar on Meta-Programming (SMP 2010). 2010.

Bibliographies