Meng Wang

Publications (23)
Projects (0)

Showing 23 publications

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, co-located with ICFP 2018, p. 13-24

Paper in proceeding

Show project

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 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

Journal article

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 proceeding

2013

Refactoring Pattern Matching

Meng Wang, Jeremy Gibbons, Kazutaka Matsuda et al

Science of Computer Programming. Vol. 78 (11), p. 2216-2242

Journal article

2013

FliPpr: A Prettier Invertible Printing System

Kazutaka Matsuda, Meng Wang

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7792 LNCS (101-120)

Paper in proceeding

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 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

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

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 proceeding

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 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-

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 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-

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 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

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 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 in 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 in 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 in 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 in 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 in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.