Meng Wang
Visar 24 publikationer
2018
Understanding formal specifications through good examples
Alex Gerdes, Stefan Hanenberg, Sebastian Ivarsson et al
, 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.