Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 27.
Article
| Hu, Zhenjiang and Hughes, John and Wang, Meng (2015) How functional programming mattered. National Science Review, 2 (3). pp. 349-370. ISSN 2095-5138. E-ISSN 2053-714X. (doi:https://doi.org/10.1093/nsr/nwv042) (Full text available) |
|
| Matsuda, Kazutaka and Wang, Meng (2014) “Bidirectionalization for Free” for Monomorphic Transformations. Science of Computer Programming, 111 (Part 1). pp. 79-109. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2014.07.008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
| Wang, Meng and Gibbons, Jeremy and Matsuda, Kazutaka and Hu, Zhenjiang (2013) Refactoring pattern matching. Science of Computer Programming, 78 (11). pp. 2216-2242. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2012.07.014) (Full text available) |
|
| Voigtlander, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2013) Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins. Journal of Functional Programming, 23 (05). pp. 515-551. ISSN 0956-7968. (doi:https://doi.org/10.1017/S0956796813000130) (Full text available) |
|
| Chen, Kung and Weng, Shu-Chun and Lin, Jia-Yin and Wang, Meng and Khoo, Siau-Cheng (2011) Side-Effect Localization for Lazy, Purely Functional Languages via Aspects. Higher-Order and Symbolic Computation, . pp. 1-39. ISSN 1388-3690. (Full text available) |
|
| Chen, Kung and Weng, Shu-Chun and Wang, Meng and Khoo, Siau-Cheng and Chen, Chung-Hsin (2010) Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages. Science of Computer Programming, 75 (11). pp. 1048-1076. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2010.04.001) (Full text available) |
|
Monograph
| Sulzmann, Martin and Wang, Meng (2005) Translating Generalized Algebraic Data Types to System F. Technical report. National University of Singapore (Unpublished) (Full text available) |
|
| Sulzmann, Martin and Wang, Meng (2004) A Systematic Translation of Guarded Recursive Data Types to Existential Types. Technical report. National University of Singapore (Unpublished) (Full text available) |
|
Conference or workshop item
| Xia, Li-Yao and Orchard, Dominic A. and Wang, Meng (2019) Composing bidirectional programs monadically. In: 28th European Symposium on Programming (ESOP), 6-11 April 2019, Prague, Czech Republic. (In press) (Full text available) |
|
| Cheng, Yufeng and Wang, Meng and Xiong, Yingfei and Hao, Dan and Zhang, Lu (2016) Empirical Evaluation of Test Coverage for Functional Programs. In: Proceedings of IEEE International Conference on Software Testing, Verification and Validation. IEEE pp. 255-265. ISBN 978-1-5090-1828-4. E-ISBN 978-1-5090-1827-7. (doi:https://doi.org/10.1109/ICST.2016.8) (Full text available) |
|
| Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng (2015) Linking Unit Tests and Properties. In: Proceedings of ACM SIGPLAN Erlang Workshop. Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. pp. 19-26. ISBN 978-1-4503-3805-9. (doi:https://doi.org/10.1145/2804295.2804298) (Full text available) |
|
| Matsuda, Kazutaka and Wang, Meng (2015) Applicative Bidirectional Programming with Lenses. In: ACM SIGPLAN International Conference on Functional Programming, 31 August – 2 September, 2015, Vancouver, British Columbia, Canada. (Full text available) |
|
| Wang, Meng and Najd, Shayan (2014) Semantic Bidirectionalization Revisited. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. ISBN 978-1-4503-2619-3. (doi:https://doi.org/10.1145/2543728.2543729) (Full text available) |
|
| Matsuda, Kazutaka and Wang, Meng (2013) Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem. In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. pp. 297-308. ISBN 978-1-4503-2154-9. (doi:https://doi.org/10.1145/2505879.2505888) (Full text available) |
|
| Matsuda, Kazutaka and Wang, Meng (2013) FliPpr: A Prettier Invertible Printing System. In: 22nd European Symposium on Programming. pp. 101-120. ISBN 978-3-642-37035-9. E-ISBN 978-3-642-37036-6. (doi:https://doi.org/10.1007/978-3-642-37036-6_6) (Full text available) |
|
| Duregard, Jonas and Jansson, Patrik and Wang, Meng (2012) Feat: Functional Enumeration of Algebraic Types. In: Proceedings of the 2012 Haskell Symposium. pp. 61-72. ISBN 978-1-4503-1574-6. (doi:https://doi.org/10.1145/2364506.2364515) (Full text available) |
|
| Wang, Meng and Gibbons, Jeremy and Wu, Nicolas (2011) Incremental Updates for Efficient Bidirectional Transformations. In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. pp. 392-403. ISBN 978-1-4503-0865-6. (doi:https://doi.org/10.1145/2034773.2034825) (Full text available) |
|
| Voigtlander, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2010) Combining Syntactic and Semantic Bidirectionalization. In: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. pp. 181-192. ISBN 978-1-60558-794-3. (Full text available) |
|
| Wang, Meng and Gibbons, Jeremy and Matsuda, Kazutaka and Hu, Zhenjiang (2010) Gradual Refinement: Blending Pattern Matching with Data Abstraction. In: Proceedings of the 10th International Conference on Mathematics of Program Construction. ISBN 978-3-642-13320-6. (Full text available) |
|
| Wang, Meng and Oliveira, Bruno (2009) What Does Aspect-Oriented Programming Mean for Functional Programmers? In: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. ISBN 978-1-60558-510-9. (doi:https://doi.org/10.1145/1596614.1596621) (Full text available) |
|
| Oliveira, Bruno and Wang, Meng and Gibbons, Jeremy (2008) The VISITOR Pattern as a Reusable, Generic, Type-Safe Component. In: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications. (Full text available) |
|
| Chen, Kung and Weng, Shu-Chun and Wang, Meng and Khoo, Siau-Cheng and Chen, Chung-Hsin (2007) A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. In: Proceedings of the 14th International Symposium on Static Analysis. ISBN 978-3-540-74060-5. (Full text available) |
|
| Sulzmann, Martin and Wang, Meng (2007) Aspect-Oriented Programming with Type Classes. In: Proceedings of the 6th workshop on Foundations of aspect-oriented languages. pp. 65-74. ISBN 978-1-59593-671-4. (Full text available) |
|
| Wang, Meng and Chen, Kung and Khoo, Siau-Cheng (2006) On the Pursuit of Static and Coherent Weaving. In: Foundations of Aspect-Oriented Languages Workshop. (Full text available) |
|
| Wang, Meng and Chen, Kung and Khoo, Siau-Cheng (2006) Type-Directed Weaving of Aspects for Higher-order Functional Languages. In: 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. pp. 78-87. ISBN 1-59593-196-1. (doi:https://doi.org/10.1145/1111542.1111555) (Full text available) |
|
| Sulzmann, Martin and Wang, Meng (2006) Modular Generic Programming with Extensible Superclasses. In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming. ACM pp. 55-65. ISBN 1-59593-492-8. (doi:https://doi.org/10.1145/1159861.1159869) (Full text available) |
|
Thesis
| Wang, Meng (2011) Bidirectional Programming and its Applications. Doctor of Philosophy (PhD) thesis, University of Oxford. (Full text available) |
|
