@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}, } @misc{HaismaVV17, title = {Grace in {Spoofax}: Readable Specification and Implementation in One}, author = {Michiel Haisma and Vlad Vergu and Eelco Visser}, year = {2016}, researchr = {https://researchr.org/publication/HaismaVV17}, cites = {0}, citedby = {0}, howpublished = {Presented at GRACE 2016}, } @mastersthesis{Vergu2012, title = {{LabBack}: An extendible platform for secure and robust in-the-cloud automatic assessment of student programs}, author = {Vlad Vergu}, year = {2012}, month = {November}, researchr = {https://researchr.org/publication/Vergu2012}, cites = {0}, citedby = {0}, school = {Delft University of Technology}, advisor = {Eelco Visser}, }