Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins

Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 47–58) and Voigtländer (Voigt...

Full description

Bibliographic Details

Published in:	Journal of functional programming Vol. 23; no. 5; pp. 515 - 551
Main Authors:	VOIGTLÄNDER, JANIS, HU, ZHENJIANG, MATSUDA, KAZUTAKA, WANG, MENG
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2013
Subjects:	Complement Lenses Relational Views Transformations Update Semantics
ISSN:	0956-7968, 1469-7653, 1469-7653
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!