Gradual Refinement Blending Pattern Matching with Data Abstraction

by Meng Wang , Jeremy Gibbons , Kazutaka Matsuda , Zhenjiang Hu
Citations:4 - 2 self

Active Bibliography

Translucent Abstraction: Safe Views through Invertible Programming – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
5 On Static Analysis for Expressive Pattern Matching – Mirco Dotta, Viktor Kuncak
A Generic Scheme and Properties of Bidirectional Transformations – Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer - 1306
Refactoring Pattern Matching – Meng Wang A, Jeremy Gibbons B, Kazutaka Matsuda C, Zhenjiang Hu D
6 Unfolding abstract datatypes – Jeremy Gibbons - 2008
9 On the implementation of construction functions for non-free concrete data types – Frédéric Blanqui, Thérèse Hardin, Pierre Weis
5 Generic point-free lenses – Hugo Pacheco, Alcino Cunha - 2010
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
3 Robust Scripting via Patterns – Bard Bloom, Martin Hirzel
General Terms Design – Chinawat Isradisaikul, Andrew C. Myers
32 An Exploration of the Bird-Meertens Formalism – Roland Backhouse - 1989
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
39 Querying Nested Collections – Limsoon Wong - 1994
21 Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions – Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi - 2007
Modular and Extensible Types – Lucília Figueiredo, Carlos Camarão - 1999
7 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
34 Strategic Pattern Matching – Eelco Visser - 1999
25 Generic views on data types – Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez - 2006
118 Combinators for bi-directional tree transformations: A linguistic approach to the view update problem – J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt - 2005