Meng Wang : Publications
|
[1] |
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. |
|
[2] |
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. |
|
[3] |
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 |
|
[4] |
GADTless Programming in Haskell 98 Martin Sulzmann and Meng Wang 2006. |
|
[5] |
Generic and Indexed Programming Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira In Marco Morazan, editor, Trends in Functional Programming. 2007. |
|
[6] |
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" Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-13321-3_22) |
|
[7] |
Incremental Updates for Efficient Bidirectional Transformations Meng Wang‚ Jeremy Gibbons and Nicolas Wu In ICFP. September, 2011. |
|
[8] |
Modular Generic Programming with Extensible Superclasses Martin Sulzmann and Meng Wang In Proceedings of the ACM SIGPLAN Workshop on Generic Programming. September, 2006. |
|
[9] |
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. |
|
[10] |
Refactoring Pattern Matching Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu In Science of Computer Programming. January, 2011. Revised version of the MPC2010 paper "Gradual Refinement" |
|
[11] |
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. |
|
[12] |
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. |
|
[13] |
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. |
|
[14] |
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. |