Meng Wang
Visar 24 publikationer
2018
Understanding formal specifications through good examples
Alex Gerdes, John Hughes, Nicholas Smallbone et al
Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, p. 13-24
Paper i proceeding
2015
"Bidirectionalization for Free" for Monomorphic Transformations
Kazutaka Matsuda, Meng Wang
Science of Computer Programming. Vol. 111 (P1), p. 79-109
Artikel i vetenskaplig tidskrift
2014
Semantic bidirectionalization revisited
Meng Wang, Shayan Najd Javadipour
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, p. 51-61
Paper i proceeding
2013
Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda et al
Journal of Functional Programming. Vol. 23 (5), p. 515-551
Artikel i vetenskaplig tidskrift
2013
FliPpr: A Prettier Invertible Printing System
Kazutaka Matsuda, Meng Wang
European Symposium on Programming. Vol. 7792 (101-120)
Paper i proceeding
2013
Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem
Kazutaka Matsuda, Meng Wang
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, p. 297-308
Paper i proceeding
2013
Refactoring Pattern Matching
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda et al
Science of Computer Programming. Vol. 78 (11), p. 2216-2242
Artikel i vetenskaplig tidskrift
2012
Feat: Functional Enumeration of Algebraic Types
Jonas Almström Duregård, Patrik Jansson, Meng Wang
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, p. 61-72
Paper i proceeding
2012
Feat: Functional Enumeration of Algebraic Types
Jonas Almström Duregård, Patrik Jansson, Meng Wang
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 47 (12), p. 61-72
Artikel i vetenskaplig tidskrift
2011
Incremental Updates for Efficient Bidirectional Transformations
Meng Wang, Jeremy Gibbons, Nicolas Wu
ICFP'11 The 16th ACM SIGPLAN International Conference on Functional Programming, p. 392-403
Paper i proceeding
2011
Side-effect localization for lazy, purely functional languages via aspects
kung chen, Shu-Chun Weng, Jia-Yin Lin et al
Higher-Order and Symbolic Computation
Artikel i vetenskaplig tidskrift
2011
Incremental Updates for Efficient Bidirectional Transformations
Meng Wang, Jeremy Gibbons, Nicolas Wu
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 46 (9), p. 392-403
Artikel i vetenskaplig tidskrift
2010
Gradual Refinement: Blending Pattern Matching with Data Abstraction
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda et al
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Paper i proceeding
2010
Type−directed weaving of aspects for polymorphically typed functional languages
kung chen, Shu−Chun Weng, Meng Wang et al
Science of Computer Programming. Vol. 75 (11), p. 1048--1076-
Artikel i vetenskaplig tidskrift
2010
Combining Syntactic and Semantic Bidirectionalization
Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda et al
ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Paper i proceeding
2010
Combining Syntactic and Semantic Bidirectionalization
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 45 (9), p. 181--192-
Artikel i vetenskaplig tidskrift
2009
What Does Aspect−Oriented Programming Mean for Functional Programmers?
Meng Wang, Bruno C D S Oliveira
WGP '09 Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Paper i proceeding
2008
The visitor pattern as a reusable, generic, type-safe component
Bruno C D S Oliveira, Meng Wang, Jeremy Gibbons
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 43 (10), p. 439-456
Artikel i vetenskaplig tidskrift
2008
The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component
Bruno C D S Oliveira, Meng Wang, Jeremy Gibbons
OOPSLA '08 Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Paper i proceeding
2007
Aspect−Oriented Programming with Type Classes
Martin Sulzmann, Meng Wang
Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p. 65--74-
Paper i proceeding
2007
A Compilation Model for Aspect−Oriented Polymorphically Typed Functional Languages
kung chen, Shu-Chun Weng, Meng Wang et al
SAS '07 Proceedings of the 14th international Symposium on Static Analysis
Paper i proceeding
2006
On The Pursuit of Staticness and Coherence
Meng Wang, kung chen, Siau-Cheng Khoo
Proceedings of the Foundations of Aspect−Oriented Languages
Paper i proceeding
2006
Type-directed weaving of aspects for higher-order functional languages
Meng Wang, kung chen, Siau−Cheng Khoo
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, p. 78--87-
Paper i proceeding
2006
Modular Generic Programming with Extensible Superclasses
Martin Sulzmann, Meng Wang
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, p. 55--65-
Paper i proceeding
Det finns inga projekt att visa.
Det kan finnas fler projekt där Meng Wang medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.