Matsuda, Kazutaka; Wang, Meng: FliPpr: A Prettier Invertible Printing System. European Symposium on Programming, 7792 (101-120) ISBN/ISSN: 978-3-642-37035-9

Duregård, Jonas; Jansson, Patrik; Wang, Meng: Feat: Functional Enumeration of Algebraic Types. SIGPLAN notices, 47 (12) pp. 61-72.

Duregård, Jonas; Jansson, Patrik; Wang, Meng: Feat: Functional Enumeration of Algebraic Types. 2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, ISBN/ISSN: 978-145031574-6

Wang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang: Refactoring Pattern Matching. Science of Computer Programming,

Wang, Meng; Gibbons, Jeremy; Wu, Nicolas: Incremental Updates for Efficient Bidirectional Transformations. ICFP'11 The 16th ACM SIGPLAN International Conference on Functional Programming, pp. 392-403. ISBN/ISSN: 978-145030865-6

chen, kung; Weng, Shu-Chun; Lin, Jia-Yin; Wang, Meng; Khoo, Siau-Cheng: Side-effect localization for lazy, purely functional languages via aspects. Higher-Order and Symbolic Computation,

Voigtlander, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng: Combining Syntactic and Semantic Bidirectionalization. ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ISBN/ISSN: 978-1-60558-794-3

Wang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang: Gradual Refinement: Blending Pattern Matching with Data Abstraction. MPC'10 Proceedings of the 10th international conference on Mathematics of program construction, ISBN/ISSN: 3-642-13320-7

chen, kung; Weng, Shu−Chun; Wang, Meng; Khoo, Siau−Cheng; Chen, Chung−Hsin: Type−directed weaving of aspects for polymorphically typed functional languages. Science of Computer Programming, 75 (11) pp. 1048--1076.

Wang, Meng; Oliveira, Bruno C D S: What Does Aspect−Oriented Programming Mean for Functional Programmers?. WGP '09 Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, ISBN/ISSN: 978-1-60558-510-9

Oliveira, Bruno C D S; Wang, Meng; Gibbons, Jeremy: The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component. OOPSLA '08 Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, ISBN/ISSN: 978-1-60558-215-3

Sulzmann, Martin; Wang, Meng: Aspect−Oriented Programming with Type Classes. Proceedings of the 6th workshop on Foundations of aspect-oriented languages , pp. 65--74. ISBN/ISSN: 978-1-59593-671-4

chen, kung; Weng, Shu-Chun; Wang, Meng; Khoo, Siau−Cheng; Chen, Chung−Hsin: A Compilation Model for Aspect−Oriented Polymorphically Typed Functional Languages . SAS '07 Proceedings of the 14th international Symposium on Static Analysis, ISBN/ISSN: 978-3-540-74060-5

Sulzmann, Martin; Wang, Meng: Modular Generic Programming with Extensible Superclasses. Proceedings of the ACM SIGPLAN Workshop on Generic Programming, pp. 55--65. ISBN/ISSN: 1-59593-492-8

Wang, Meng; chen, kung; Khoo, Siau-Cheng: On The Pursuit of Staticness and Coherence. Proceedings of the Foundations of Aspect−Oriented Languages,

Wang, Meng; chen, kung; Khoo, Siau−Cheng: Type-directed weaving of aspects for higher-order functional languages. Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 78--87. ISBN/ISSN: 1-59593-196-1