School of Computing

Publications by Dr Meng Wang

Also view these in the Kent Academic Repository

Article
Hu, Z., Hughes, J. and Wang, M. (2015). How functional programming mattered. National Science Review [Online] 2:349-370. Available at: http://dx.doi.org/10.1093/nsr/nwv042.
Matsuda, K. and Wang, M. (2014). "Bidirectionalization for Free" for Monomorphic Transformations. Science of Computer Programming [Online] 111:79-109. Available at: http://dx.doi.org/10.1016/j.scico.2014.07.008.
Voigtlander, J. et al. (2013). Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins. Journal of Functional Programming [Online] 23:515-551. Available at: http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9060496&fileId=S0956796813000130.
Wang, M. et al. (2013). Refactoring pattern matching. Science of Computer Programming [Online] 78:2216-2242. Available at: http://www.sciencedirect.com/science/article/pii/S0167642312001426.
Chen, K. et al. (2011). Side-Effect Localization for Lazy, Purely Functional Languages via Aspects. Higher-Order and Symbolic Computation [Online]:1-39. Available at: http://link.springer.com/article/10.1007/s10990-011-9073-0#page-1.
Chen, K. et al. (2010). Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages. Science of Computer Programming [Online] 75:1048-1076. Available at: http://www.sciencedirect.com/science/article/pii/S0167642310000705.
Monograph
Sulzmann, M. and Wang, M. (2005). Translating Generalized Algebraic Data Types to System F. National University of Singapore. Available at: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.111.5082&rep=rep1&type=pdf.
Sulzmann, M. and Wang, M. (2004). A Systematic Translation of Guarded Recursive Data Types to Existential Types. National University of Singapore. Available at: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.110.6230&rep=rep1&type=pdf.
Conference or workshop item
Cheng, Y. et al. (2016). Empirical Evaluation of Test Coverage for Functional Programs. in: IEEE International Conference on Software Testing, Verification and Validation. IEEE, pp. 255-265. Available at: https://doi.org/10.1109/ICST.2016.8.
Matsuda, K. and Wang, M. (2015). Applicative Bidirectional Programming with Lenses. in: ACM SIGPLAN International Conference on Functional Programming.
Gerdes, A. et al. (2015). Linking Unit Tests and Properties. in: Fourteenth ACM SIGPLAN Erlang Workshop. pp. 19-26. Available at: http://dx.doi.org/10.1145/2804295.2804298.
Wang, M. and Najd, S. (2014). Semantic Bidirectionalization Revisited. in: Workshop on Partial Evaluation and Program Manipulation (PEPM).. Available at: http://dl.acm.org/citation.cfm?id=2543729.
Matsuda, K. and Wang, M. (2013). Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem. in: Symposium on Principles and Practice of Declarative Programming (PPDP). pp. 297-308. Available at: http://dl.acm.org/citation.cfm?id=2505888.
Matsuda, K. and Wang, M. (2013). FliPpr: A Prettier Invertible Printing System. in: European Symposium on Programming (ESOP). pp. 101-120. Available at: http://link.springer.com/chapter/10.1007/978-3-642-37036-6_6.
Duregard, J., Jansson, P. and Wang, M. (2012). Feat: Functional Enumeration of Algebraic Types. in: Haskell Symposium. pp. 61-72. Available at: http://dl.acm.org/citation.cfm?id=2364515.
Wang, M., Gibbons, J. and Wu, N. (2011). Incremental Updates for Efficient Bidirectional Transformations. in: ACM SIGPLAN international conference on Functional programming. pp. 392-403. Available at: http://dl.acm.org/citation.cfm?id=2034825.
Wang, M. et al. (2010). Gradual Refinement: Blending Pattern Matching with Data Abstraction. in: International Conference of Mathematics on Program Construction.. Available at: http://link.springer.com/chapter/10.1007/978-3-642-13321-3_22.
Voigtlander, J. et al. (2010). Combining Syntactic and Semantic Bidirectionalization. in: ACM SIGPLAN international conference on Functional programming. pp. 181-192. Available at: http://dl.acm.org/citation.cfm?id=1863571.
Wang, M. and Oliveira, B. (2009). What Does Aspect-Oriented Programming Mean for Functional Programmers? in: ACM SIGPLAN workshop on Generic programming.. Available at: http://dl.acm.org/citation.cfm?id=1596621.
Oliveira, B., Wang, M. and Gibbons, J. (2008). The VISITOR Pattern as a Reusable, Generic, Type-Safe Component. in: ACM SIGPLAN conference on Object-oriented programming systems languages and applications.. Available at: http://dl.acm.org/citation.cfm?id=1449799.
Chen, K. et al. (2007). A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. in: International Symposium on Static Analysis.. Available at: http://link.springer.com/book/10.1007/978-3-540-74061-2.
Sulzmann, M. and Wang, M. (2007). Aspect-Oriented Programming with Type Classes. in: Workshop on Foundations of aspect-oriented languages. pp. 65-74. Available at: http://dl.acm.org/citation.cfm?id=1233842.
Sulzmann, M. and Wang, M. (2006). Modular Generic Programming with Extensible Superclasses. in: ACM SIGPLAN workshop on Generic programming. ACM, pp. 55-65. Available at: http://doi.acm.org/10.1145/1159861.1159869.
Wang, M., Chen, K. and Khoo, S. (2006). On the Pursuit of Static and Coherent Weaving. in: Foundations of AspectOriented Languages.. Available at: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.111.2814&rep=rep1&type=pdf.
Wang, M., Chen, K. and Khoo, S. (2006). Type-Directed Weaving of Aspects for Higher-order Functional Languages. in: ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. pp. 78-87. Available at: http://dl.acm.org/citation.cfm?id=1111555.
Thesis
Wang, M. (2011). Bidirectional Programming and its Applications.
Total publications in KAR: 26 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 17/11/2017