Declarative, composable views
暂无分享,去创建一个
[1] Exploiting schemas in data synchronization , 2007, J. Comput. Syst. Sci..
[2] Shin-Cheng Mu,et al. A programmable editor for developing structured documents based on bidirectional transformations , 2008, High. Order Symb. Comput..
[3] Shriram Krishnamurthi,et al. Embedding Dynamic Dataflow in a Call-by-Value Language , 2006, ESOP.
[4] Lambert Meertens,et al. Designing Constraint Maintainers for User Interaction , 1998 .
[5] Nate Foster,et al. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.
[6] Andrew W. Appel,et al. Compiling with Continuations , 1991 .
[7] Benjamin C. Pierce,et al. Resourceful Lenses for Ordered Data , 2007 .
[8] Philip Wadler,et al. Views: a way for pattern matching to cohabit with data abstraction , 1987, POPL '87.