publications:
- title: "Aspect-oriented programming with type classes"
  author:
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1233833.1233842"
  links:
    doi: "http://doi.acm.org/10.1145/1233833.1233842"
  tags:
  - "object-oriented programming"
  - "aspect oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/SulzmannW06"
  cites: 0
  citedby: 0
  pages: "65-74"
  booktitle: "foal"
  kind: "inproceedings"
  key: "SulzmannW06"
- title: "A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages"
  author:
  - name: "Kung Chen"
    link: "https://researchr.org/alias/kung-chen"
  - name: "Shu-Chun Weng"
    link: "https://researchr.org/alias/shu-chun-weng"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  - name: "Chung-Hsin Chen"
    link: "https://researchr.org/alias/chung-hsin-chen"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74061-2_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74061-2_3"
  tags:
  - "modeling language"
  - "language modeling"
  researchr: "https://researchr.org/publication/ChenWWKC07"
  cites: 0
  citedby: 0
  pages: "34-51"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "ChenWWKC07"
- title: "The visitor pattern as a reusable, generic, type-safe component"
  author:
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449764.1449799"
  links:
    doi: "http://doi.acm.org/10.1145/1449764.1449799"
  tags:
  - "reusable components"
  - "visitor"
  - "reuse"
  - "C++"
  researchr: "https://researchr.org/publication/OliveiraWG08"
  cites: 0
  citedby: 0
  pages: "439-456"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "OliveiraWG08"
- title: "Gradual Refinement"
  author:
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mpc/WangGMH10"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/WangGMH10"
  cites: 0
  citedby: 0
  pages: "397-425"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "WangGMH10"
- title: "Type-directed weaving of aspects for higher-order functional languages"
  author:
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Kung Chen"
    link: "https://researchr.org/alias/kung-chen"
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111542.1111555"
  links:
    doi: "http://doi.acm.org/10.1145/1111542.1111555"
  tags:
  - "weaving"
  researchr: "https://researchr.org/publication/WangCK06%3A0"
  cites: 0
  citedby: 0
  pages: "78-87"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "WangCK06:0"
- title: "Type-directed weaving of aspects for polymorphically typed functional languages"
  author:
  - name: "Kung Chen"
    link: "https://researchr.org/alias/kung-chen"
  - name: "Shu-Chun Weng"
    link: "https://researchr.org/alias/shu-chun-weng"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  - name: "Chung-Hsin Chen"
    link: "https://researchr.org/alias/chung-hsin-chen"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.scico.2010.04.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2010.04.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/ChenWWKC10"
  tags:
  - "weaving"
  researchr: "https://researchr.org/publication/ChenWWKC10"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "75"
  number: "11"
  pages: "1048-1076"
  kind: "article"
  key: "ChenWWKC10"
- title: "Combining syntactic and semantic bidirectionalization"
  author:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863571"
  abstract: "Matsuda et al. [2007, ICFP] and Voigtländer [2009, POPL] introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Being fundamentally different in approach, both techniques have their respective strengths and weaknesses. Here we develop a synthesis of the two techniques to good effect. On the intersection of their applicability domains we achieve more than what a simple union of applying the techniques side by side delivers."
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863571"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/VoigtlanderHMW10"
  tags:
  - "source-to-source"
  - "consistency"
  - "systematic-approach"
  - "open-source"
  researchr: "https://researchr.org/publication/VoigtlanderHMW10"
  cites: 0
  citedby: 0
  pages: "181-192"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "VoigtlanderHMW10"
- title: "Modular generic programming with extensible superclasses"
  author:
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159861.1159869"
  links:
    doi: "http://doi.acm.org/10.1145/1159861.1159869"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/SulzmannW06%3A0"
  cites: 0
  citedby: 0
  pages: "55-65"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "SulzmannW06:0"
- title: "Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins"
  author:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2013"
  doi: "http://dx.doi.org/10.1017/S0956796813000130"
  abstract: "Matsuda et al. (ICFP 2007) and Voigtländer (POPL 2009) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer et al., ICFP 2010). Here, we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. "
  links:
    doi: "http://dx.doi.org/10.1017/S0956796813000130"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/VoigtlanderHMW13"
  researchr: "https://researchr.org/publication/VoigtlanderHMW13"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "23"
  number: "5"
  pages: "515-551"
  kind: "article"
  key: "VoigtlanderHMW13"