Meng Wang : Publications
Journal papers
-
[1]
Refactoring Pattern Matching
Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu
In Science of Computer Programming. Vol. 78. No. 11. Pages 2216−2242. January, 2012.
Revised version of the MPC2010 paper "Gradual Refinement"
Details about Refactoring Pattern Matching | BibTeX data for Refactoring Pattern Matching | DOI (10.1016/j.scico.2012.07.014) | Download (pdf) of Refactoring Pattern Matching
-
[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 about Type−directed weaving of aspects for polymorphically typed functional languages | BibTeX data for Type−directed weaving of aspects for polymorphically typed functional languages | Download (pdf) of Type−directed weaving of aspects for polymorphically typed functional languages
Conference papers
-
[1]
Incremental Updates for Efficient Bidirectional Transformations
Meng Wang‚ Jeremy Gibbons and Nicolas Wu
In ICFP. September, 2011.
Details about Incremental Updates for Efficient Bidirectional Transformations | BibTeX data for Incremental Updates for Efficient Bidirectional Transformations | DOI (10.1145/2034773.2034825) | Download (pdf) of Incremental Updates for Efficient Bidirectional Transformations
-
[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 about Combining Syntactic and Semantic Bidirectionalization | BibTeX data for Combining Syntactic and Semantic Bidirectionalization
-
[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"
Details about Gradual Refinement: Blending Pattern Matching with Data Abstraction | BibTeX data for Gradual Refinement: Blending Pattern Matching with Data Abstraction | Download (pdf) of Gradual Refinement: Blending Pattern Matching with Data Abstraction | DOI (10.1007/978-3-642-13321-3_22) | Download (pdf) of Gradual Refinement: Blending Pattern Matching with Data Abstraction
-
[4]
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 about What Does Aspect−Oriented Programming Mean for Functional Programmers? | BibTeX data for What Does Aspect−Oriented Programming Mean for Functional Programmers? | Download (pdf) of What Does Aspect−Oriented Programming Mean for Functional Programmers?
-
[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 about The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | BibTeX data for The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | DOI (10.1145/1449764.1449799) | Download (pdf) of The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component
-
[6]
Generic and Indexed Programming
Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira
In Marco Morazan, editor, Trends in Functional Programming. 2007.
Details about Generic and Indexed Programming | BibTeX data for Generic and Indexed Programming | Download (pdf) of Generic and Indexed Programming
-
[7]
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 about A Compilation Model for Aspect−Oriented Polymorphically Typed Functional Languages | BibTeX data for A Compilation Model for Aspect−Oriented Polymorphically Typed Functional Languages | Download (pdf) of A Compilation Model for Aspect−Oriented Polymorphically Typed Functional Languages
-
[8]
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 about Aspect−Oriented Programming with Type Classes | BibTeX data for Aspect−Oriented Programming with Type Classes | Download (pdf) of Aspect−Oriented Programming with Type Classes
-
[9]
Modular Generic Programming with Extensible Superclasses
Martin Sulzmann and Meng Wang
In Proceedings of the ACM SIGPLAN Workshop on Generic Programming. September, 2006.
Details about Modular Generic Programming with Extensible Superclasses | BibTeX data for Modular Generic Programming with Extensible Superclasses | Download (pdf) of Modular Generic Programming with Extensible Superclasses
-
[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 about On The Pursuit of Staticness and Coherence | BibTeX data for On The Pursuit of Staticness and Coherence | Download (pdf) of On The Pursuit of Staticness and Coherence
-
[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 about Type−Directed Weaving of Aspects for Higher−order Functional Languages | BibTeX data for Type−Directed Weaving of Aspects for Higher−order Functional Languages | Download (ps) of Type−Directed Weaving of Aspects for Higher−order Functional Languages
Miscellaneous
-
[1]
GADTless Programming in Haskell 98
Martin Sulzmann and Meng Wang
2006.
Details about GADTless Programming in Haskell 98 | BibTeX data for GADTless Programming in Haskell 98 | Download (pdf) of GADTless Programming in Haskell 98