Meng Wang

Publikationer (24)
Projekt (0)

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

Visa projekt

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

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.