Meng Wang : Publications

Journal papers

[1]	Refactoring Pattern Matching Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu In Science of Computer Programming. January, 2012. Revised version of the MPC2010 paper "Gradual Refinement" Details \| BibTeX

[2]	Type−directed weaving of aspects for polymorphically typed functional languages Kung Chen‚ Shu−Chun Weng‚ Meng Wang‚ Siau−Cheng Khoo and Chung−Hsin Chen In Science of Computer Programming. Vol. 75. Pages 1048−1076. 2010. Details \| BibTeX \| Download (pdf)

[1]	Incremental Updates for Efficient Bidirectional Transformations Meng Wang‚ Jeremy Gibbons and Nicolas Wu In ICFP. September, 2011. Details \| BibTeX

[2]	Combining Syntactic and Semantic Bidirectionalization Janis Voigtlander‚ Zhenjiang Hu‚ Kazutaka Matsuda and Meng Wang In ACM SIGPLAN International Conference on Functional Programming. ACM. 2010. To Appear Details \| BibTeX

[3]

Gradual Refinement: Blending Pattern Matching with Data Abstraction

Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu

In Jules Desharnais, editor, Mathematics of Program Construction. Vol. 6120 of LNCS. 2010.

See revised journal version "Refactoring Pattern Matching"

[4]	Generic and Indexed Programming Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira In Marco Morazan, editor, Trends in Functional Programming. 2007. Details \| BibTeX

[5]	The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component Bruno C. d. S. Oliveira‚ Meng Wang and Jeremy Gibbons In Object−Oriented Programming: Systems‚ Languages‚ Applications (OOPSLA). 2008. Details \| BibTeX

[6]	What Does Aspect−Oriented Programming Mean for Functional Programmers? Meng Wang and Bruno C. d. S. Oliveira In Patrik Jansson, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09). ACM. August, 2009. Details \| BibTeX \| Download (pdf)

[7]	Modular Generic Programming with Extensible Superclasses Martin Sulzmann and Meng Wang In Proceedings of the ACM SIGPLAN Workshop on Generic Programming. September, 2006. Details \| BibTeX \| Download (pdf)

[8]	A Compilation Model for Aspect−Oriented Polymorphically Typed Functional Languages Kung Chen‚ Shu−Chun Weng‚ Meng Wang‚ Siau−Cheng Khoo and Chung−Hsin Chen In Proceedings of the International Static Analysis Symposium. August, 2007. Details \| BibTeX \| Download (pdf)

[9]	Aspect−Oriented Programming with Type Classes Martin Sulzmann and Meng Wang In Curtis Clifton Gary T. Leavens and Mira Mezini, editors, Proceedings of Foundations of Aspect−Oriented Languages. March, 2007. Details \| BibTeX \| Download (pdf)

[10]	On The Pursuit of Staticness and Coherence Meng Wang‚ Kung Chen and Siau−Cheng Khoo In Proceedings of the Foundations of Aspect−Oriented Languages. March, 2006. Details \| BibTeX \| Download (pdf)

[11]	Type−Directed Weaving of Aspects for Higher−order Functional Languages Meng Wang‚ Kung Chen and Siau−Cheng Khoo In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. January, 2006. Details \| BibTeX \| Download (ps)

[1]	GADTless Programming in Haskell 98 Martin Sulzmann and Meng Wang 2006. Details \| BibTeX \| Download (pdf)