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.
@inproceedings{Vergu-smps-2010,
title = {Reduce, Reuse, Recycle, Type-check. A survey of typed generic programming approaches},
author = {Vlad Vergu},
year = {2010},
tags = {generic programming, traversal, functional programming, type system, reuse, data-flow programming, data-flow, survey, C++, type checking, logic programming, programming, context-aware, logic, systematic-approach},
researchr = {https://researchr.org/publication/Vergu-smps-2010},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Seminar on Meta-Programming (SMP 2010)},
editor = {Eelco Visser},
}