|
3
|
Generic point-free lenses
– Hugo Pacheco, Alcino Cunha
- 2010
|
|
6
|
On the implementation of construction functions for non-free concrete data types
– Frédéric Blanqui, Thérèse Hardin, Pierre Weis
|
|
3
|
On Static Analysis for Expressive Pattern Matching
– Mirco Dotta, Viktor Kuncak
|
|
|
Refactoring Pattern Matching
– Meng Wang A, Jeremy Gibbons B, Kazutaka Matsuda C, Zhenjiang Hu D
|
|
33
|
Elements of a Relational Theory of Datatypes
– Roland Backhouse, Paul Hoogendijk
- 1993
|
|
31
|
An Exploration of the Bird-Meertens Formalism
– Roland Backhouse
- 1989
|
|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
14
|
Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions
– Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
- 2007
|
|
94
|
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
|
|
2
|
Unfolding abstract datatypes
– Jeremy Gibbons
- 2008
|
|
|
Modular and Extensible Types
– Lucília Figueiredo, Carlos Camarão
- 1999
|
|
33
|
Strategic Pattern Matching
– Eelco Visser
- 1999
|
|
20
|
Generic views on data types
– Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
- 2006
|
|
6
|
Pattern Guards and Transformational Patterns
– Martin Erwig, Simon Peyton Jones
- 2000
|
|
8
|
Matching Lenses: Alignment and View Update
– Davi M. J. Barbosa , Julien Cretin, Nate Foster , Michael Greenberg , Benjamin C. Pierce
- 2010
|
|
11
|
Quotient lenses
– J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce
- 2008
|
|
10
|
Updatable Security Views
– J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic
- 2009
|
|
|
Bidirectionalization for free! (Perl)
– Janis Voigtländer
- 2009
|
|
|
Type Specialization for Effective Bidirectionalization
– Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
- 2008
|
