Meng Wang

Showing 24 publications

2018

Understanding formal specifications through good examples

Alex Gerdes, Stefan Hanenberg, Sebastian Ivarsson et al
, p. 13-24
Paper in proceedings
2015

"Bidirectionalization for Free" for Monomorphic Transformations

Kazutaka Matsuda, Meng Wang
Science of Computer Programming. Vol. 111 (P1), p. 79-109
Journal article
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 in proceedings
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
Journal article
2013

FliPpr: A Prettier Invertible Printing System

Kazutaka Matsuda, Meng Wang
European Symposium on Programming. Vol. 7792 (101-120)
Paper in proceedings
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 in proceedings
2013

Refactoring Pattern Matching

Meng Wang, Jeremy Gibbons, Kazutaka Matsuda et al
Science of Computer Programming. Vol. 78 (11), p. 2216-2242
Journal article
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 in proceedings
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
Journal article
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 in proceedings
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
Journal article
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
Journal article
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 in proceedings
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-
Journal article
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 in proceedings
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-
Journal article
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 in proceedings
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
Journal article
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 in proceedings
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 in proceedings
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 in proceedings
2006

On The Pursuit of Staticness and Coherence

Meng Wang, kung chen, Siau-Cheng Khoo
Proceedings of the Foundations of Aspect−Oriented Languages
Paper in proceedings
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 in proceedings
2006

Modular Generic Programming with Extensible Superclasses

Martin Sulzmann, Meng Wang
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, p. 55--65-
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Meng Wang participates, but you have to be logged in as a Chalmers employee to see them.