publications:
- title: "Reduce, Reuse, Recycle, Type-check. A survey of typed generic programming approaches"
  author:
  - name: "Vlad Vergu"
    link: "http://www.bitbang.nl"
  year: "2010"
  abstract: "Generic programs are programs that provide specic functionality applicable on generic inputs. While their functionality is specic, their implementation is free from any application-context datatypes jail. The need for generic programming becomes evident when dealing with large forests of datatypes where some, many or all may not be known until a later stage. Use of generic programs facilitates code reuse and allows programmers to focus on the actual to-be-implemented logic rather than spending time implementing boilerplate code - for example for data structure traversals. The economic need for generic programming is clear: the invention of type safe generic programming would drastically reduce software development costs and increase maintainability of software systems."
  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: "SMP"
  kind: "inproceedings"
  key: "Vergu-smps-2010"
- title: "Grace in Spoofax: Readable Specification and Implementation in One"
  author:
  - name: "Michiel Haisma"
    link: "https://www.linkedin.com/in/michiel-haisma-b0357149"
  - name: "Vlad Vergu"
    link: "http://www.bitbang.nl"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2016"
  researchr: "https://researchr.org/publication/HaismaVV17"
  cites: 0
  citedby: 0
  howpublished: "Presented at GRACE 2016"
  kind: "misc"
  key: "HaismaVV17"
- title: "LabBack: An extendible platform for secure and robust in-the-cloud automatic assessment of student programs"
  author:
  - name: "Vlad Vergu"
    link: "http://www.bitbang.nl"
  year: "2012"
  month: "November"
  researchr: "https://researchr.org/publication/Vergu2012"
  cites: 0
  citedby: 0
  school: "Delft University of Technology"
  advisor:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  kind: "mastersthesis"
  key: "Vergu2012"