@inproceedings{SulzmannW06,
  title = {Aspect-oriented programming with type classes},
  author = {Martin Sulzmann and Meng Wang},
  year = {2007},
  doi = {10.1145/1233833.1233842},
  url = {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 = {Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007},
  editor = {William Harrison},
  volume = {268},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
}

@inproceedings{ChenWWKC07,
  title = {A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages},
  author = {Kung Chen and Shu-Chun Weng and Meng Wang and Siau-Cheng Khoo and Chung-Hsin Chen},
  year = {2007},
  doi = {10.1007/978-3-540-74061-2_3},
  url = {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 = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings},
  editor = {Hanne Riis Nielson and Gilberto Filé},
  volume = {4634},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74060-5},
}

@inproceedings{OliveiraWG08,
  title = {The visitor pattern as a reusable, generic, type-safe component},
  author = {Bruno C. d. S. Oliveira and Meng Wang and Jeremy Gibbons},
  year = {2008},
  doi = {10.1145/1449764.1449799},
  url = {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 = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@inproceedings{WangGMH10,
  title = {Gradual Refinement},
  author = {Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu},
  year = {2010},
  doi = {10.1007/978-3-642-13321-3_22},
  url = {http://dx.doi.org/10.1007/978-3-642-13321-3_22},
  tags = {refinement},
  researchr = {https://researchr.org/publication/WangGMH10},
  cites = {0},
  citedby = {0},
  pages = {397-425},
  booktitle = {Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings},
  editor = {Claude Bolduc and Jules Desharnais and Béchir Ktari},
  volume = {6120},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13320-6},
}

@inproceedings{WangCK06:0,
  title = {Type-directed weaving of aspects for higher-order functional languages},
  author = {Meng Wang and Kung Chen and Siau-Cheng Khoo},
  year = {2006},
  doi = {10.1145/1111542.1111555},
  url = {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 = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}

@article{ChenWWKC10,
  title = {Type-directed weaving of aspects for polymorphically typed functional languages},
  author = {Kung Chen and Shu-Chun Weng and Meng Wang and Siau-Cheng Khoo and Chung-Hsin Chen},
  year = {2010},
  doi = {10.1016/j.scico.2010.04.001},
  url = {http://dx.doi.org/10.1016/j.scico.2010.04.001},
  tags = {weaving},
  researchr = {https://researchr.org/publication/ChenWWKC10},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {75},
  number = {11},
  pages = {1048-1076},
}

@inproceedings{VoigtlanderHMW10,
  title = {Combining syntactic and semantic bidirectionalization},
  author = {Janis Voigtländer and Zhenjiang Hu and Kazutaka Matsuda and Meng Wang},
  year = {2010},
  doi = {10.1145/1863543.1863571},
  url = {http://doi.acm.org/10.1145/1863543.1863571},
  tags = {source-to-source, consistency, systematic-approach, open-source},
  researchr = {https://researchr.org/publication/VoigtlanderHMW10},
  cites = {0},
  citedby = {0},
  pages = {181-192},
  booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@inproceedings{SulzmannW06:0,
  title = {Modular generic programming with extensible superclasses},
  author = {Martin Sulzmann and Meng Wang},
  year = {2006},
  doi = {10.1145/1159861.1159869},
  url = {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 = {Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006},
  editor = {Ralf Hinze},
  publisher = {ACM},
}

@article{VoigtlanderHMW13,
  title = {Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins},
  author = {Janis Voigtländer and Zhenjiang Hu and Kazutaka Matsuda and Meng Wang},
  year = {2013},
  doi = {10.1017/S0956796813000130},
  url = {http://dx.doi.org/10.1017/S0956796813000130},
  researchr = {https://researchr.org/publication/VoigtlanderHMW13},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {23},
  number = {5},
  pages = {515-551},
}