Meng Wang

Publikationer (23)
Projekt (0)

Visar 23 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, co-located with ICFP 2018, 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

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

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

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

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

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

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

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

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.