Meng Wang : Publications

Click here to download all publications in a single bibtex file

@article{refactoringpm,
  title = "Refactoring Pattern Matching",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
  year = "2012",
  journal = "Science of Computer Programming",
  month = "January",
  note = "Revised version of the MPC2010 paper "Gradual Refinement"",
  number = "11",
  pages = "2216-2242",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/refactoringpm.pdf",
  volume = "78",
  doi = "10.1016/j.scico.2012.07.014",
}

@inproceedings{align,
  title = "Incremental Updates for Efficient Bidirectional Transformations",
  author = "Meng Wang and Jeremy Gibbons and Nicolas Wu",
  year = "2011",
  booktitle = "ICFP",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/align.pdf",
  doi = "10.1145/2034773.2034825",
}

@article{scp,
  title = "Type-directed weaving of aspects for polymorphically typed functional languages",
  author = "Kung Chen and Shu-Chun Weng and Meng Wang and Siau-Cheng Khoo and Chung-Hsin Chen",
  year = "2010",
  booktitle = "Science of Computer Programming",
  journal = "Science of Computer Programming",
  pages = "1048-1076",
  publisher = "Elsevier",
  volume = "75",
}

@conference{icfp10,
  title = "Combining Syntactic and Semantic Bidirectionalization",
  author = "Janis Voigtlander and Zhenjiang Hu and Kazutaka Matsuda and Meng Wang",
  year = "2010",
  booktitle = "ACM SIGPLAN International Conference on Functional Programming",
  note = "To Appear",
  publisher = "ACM",
}

@conference{mpc10,
  title = "Gradual Refinement: Blending Pattern Matching with Data Abstraction",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
  year = "2010",
  booktitle = "Mathematics of Program Construction",
  editor = "Jules Desharnais",
  note = "See revised journal version "Refactoring Pattern Matching"",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gradual.pdf",
  volume = "6120",
  doi = "10.1007/978-3-642-13321-3_22",
}

@conference{wgp09,
  title = "What Does Aspect-Oriented Programming Mean for Functional Programmers?",
  author = "Meng Wang and Bruno C. d. S. Oliveira",
  year = "2009",
  booktitle = "Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09)",
  editor = "Patrik Jansson",
  location = "Edinburgh, Scotland, UK.",
  month = "August",
  publisher = "ACM",
}

@inproceedings{Oliveira*2008:Visitor,
  title = "The Visitor Pattern as a Reusable, Generic, Type-Safe Component",
  author = "Bruno C. d. S. Oliveira and Meng Wang and Jeremy Gibbons",
  year = "2008",
  booktitle = "Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/visitor.pdf",
  doi = "10.1145/1449764.1449799",
}

@conference{sas07,
  title = "A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages",
  author = "Kung Chen and Shu-Chun Weng and Meng Wang and Siau-Cheng Khoo and Chung-Hsin Chen",
  year = "2007",
  booktitle = "Proceedings of the International Static Analysis Symposium",
  location = "Kongens Lyngby, Denmark",
  month = "August ",
}

@conference{aoptc,
  title = "Aspect-Oriented Programming with Type Classes",
  author = "Martin Sulzmann and Meng Wang",
  year = "2007",
  booktitle = "Proceedings of Foundations of Aspect-Oriented Languages",
  editor = "Curtis Clifton, Gary T. Leavens, and Mira Mezini",
  location = "Vancouver, British Columbia, Canada",
  month = "March",
}

@inproceedings{Gibbons*2007:Generic,
  title = "Generic and Indexed Programming",
  author = "Jeremy Gibbons and Meng Wang and Bruno Cesar dos Santos Oliveira",
  year = "2007",
  booktitle = "Trends in Functional Programming",
  editor = "Marco Morazan",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gip.pdf",
}

@conference{generic ,
  title = "Modular Generic Programming with Extensible Superclasses",
  author = "Martin Sulzmann and Meng Wang",
  year = "2006",
  booktitle = "Proceedings of the ACM SIGPLAN Workshop on Generic Programming ",
  location = "Portland, Oregon, USA",
  month = "September ",
}

@conference{foal06,
  title = "On The Pursuit of Staticness and Coherence",
  author = "Meng Wang and Kung Chen and Siau-Cheng Khoo",
  year = "2006",
  booktitle = "Proceedings of the Foundations of Aspect-Oriented Languages ",
  location = "Bonn, Germany",
  month = "March ",
}

@conference{pepm06,
  title = "Type-Directed Weaving of Aspects for Higher-order Functional Languages",
  author = "Meng Wang and Kung Chen and Siau-Cheng Khoo",
  year = "2006",
  booktitle = "Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ",
  location = "Charleston, South Carolina, USA",
  month = "January ",
}

@unpublished{gadtless,
  title = "GADTless Programming in Haskell 98",
  author = "Martin Sulzmann and Meng Wang",
  year = "2006",
}