@inproceedings{matsuda_applicative_2015,
	address = {New York, NY, USA},
	series = {{ICFP} 2015},
	title = {Applicative {Bidirectional} {Programming} with {Lenses}},
	isbn = {978-1-4503-3669-7},
	url = {http://doi.acm.org/10.1145/2784731.2784750},
	doi = {10/ggb9f7},
	abstract = {A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly with respect to some laws. One way to reduce the development and maintenance effort of bidirectional transformations is to have specialized languages in which the resulting programs are bidirectional by construction---giving rise to the paradigm of bidirectional programming. In this paper, we develop a framework for applicative-style and higher-order bidirectional programming, in which we can write bidirectional transformations as unidirectional programs in standard functional languages, opening up access to the bundle of language features previously only available to conventional unidirectional languages. Our framework essentially bridges two very different approaches of bidirectional programming, namely the lens framework and Voigtländer's semantic bidirectionalization, creating a new programming style that is able to bag benefits from both.},
	urldate = {2019-11-01},
	booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} {International} {Conference} on {Functional} {Programming}},
	publisher = {ACM},
	author = {Matsuda, Kazutaka and Wang, Meng},
	year = {2015},
	note = {ZSCC: 0000016 
event-place: Vancouver, BC, Canada},
	keywords = {Bidirectional Programming, Bidirectionalization, Free Theorem, Functional Programming, Haskell, Lens},
	pages = {62--74}
}

{"_id":"tZWv5j5nPWg8BQ4E5","bibbaseid":"matsuda-wang-applicativebidirectionalprogrammingwithlenses-2015","authorIDs":[],"author_short":["Matsuda, K.","Wang, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"New York, NY, USA","series":"ICFP 2015","title":"Applicative Bidirectional Programming with Lenses","isbn":"978-1-4503-3669-7","url":"http://doi.acm.org/10.1145/2784731.2784750","doi":"10/ggb9f7","abstract":"A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly with respect to some laws. One way to reduce the development and maintenance effort of bidirectional transformations is to have specialized languages in which the resulting programs are bidirectional by construction—giving rise to the paradigm of bidirectional programming. In this paper, we develop a framework for applicative-style and higher-order bidirectional programming, in which we can write bidirectional transformations as unidirectional programs in standard functional languages, opening up access to the bundle of language features previously only available to conventional unidirectional languages. Our framework essentially bridges two very different approaches of bidirectional programming, namely the lens framework and Voigtländer's semantic bidirectionalization, creating a new programming style that is able to bag benefits from both.","urldate":"2019-11-01","booktitle":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming","publisher":"ACM","author":[{"propositions":[],"lastnames":["Matsuda"],"firstnames":["Kazutaka"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Meng"],"suffixes":[]}],"year":"2015","note":"ZSCC: 0000016 event-place: Vancouver, BC, Canada","keywords":"Bidirectional Programming, Bidirectionalization, Free Theorem, Functional Programming, Haskell, Lens","pages":"62–74","bibtex":"@inproceedings{matsuda_applicative_2015,\n\taddress = {New York, NY, USA},\n\tseries = {{ICFP} 2015},\n\ttitle = {Applicative {Bidirectional} {Programming} with {Lenses}},\n\tisbn = {978-1-4503-3669-7},\n\turl = {http://doi.acm.org/10.1145/2784731.2784750},\n\tdoi = {10/ggb9f7},\n\tabstract = {A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly with respect to some laws. One way to reduce the development and maintenance effort of bidirectional transformations is to have specialized languages in which the resulting programs are bidirectional by construction---giving rise to the paradigm of bidirectional programming. In this paper, we develop a framework for applicative-style and higher-order bidirectional programming, in which we can write bidirectional transformations as unidirectional programs in standard functional languages, opening up access to the bundle of language features previously only available to conventional unidirectional languages. Our framework essentially bridges two very different approaches of bidirectional programming, namely the lens framework and Voigtländer's semantic bidirectionalization, creating a new programming style that is able to bag benefits from both.},\n\turldate = {2019-11-01},\n\tbooktitle = {Proceedings of the 20th {ACM} {SIGPLAN} {International} {Conference} on {Functional} {Programming}},\n\tpublisher = {ACM},\n\tauthor = {Matsuda, Kazutaka and Wang, Meng},\n\tyear = {2015},\n\tnote = {ZSCC: 0000016 \nevent-place: Vancouver, BC, Canada},\n\tkeywords = {Bidirectional Programming, Bidirectionalization, Free Theorem, Functional Programming, Haskell, Lens},\n\tpages = {62--74}\n}\n\n","author_short":["Matsuda, K.","Wang, M."],"key":"matsuda_applicative_2015","id":"matsuda_applicative_2015","bibbaseid":"matsuda-wang-applicativebidirectionalprogrammingwithlenses-2015","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2784731.2784750"},"keyword":["Bidirectional Programming","Bidirectionalization","Free Theorem","Functional Programming","Haskell","Lens"],"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.643Z","downloads":0,"keywords":["bidirectional programming","bidirectionalization","free theorem","functional programming","haskell","lens"],"search_terms":["applicative","bidirectional","programming","lenses","matsuda","wang"],"title":"Applicative Bidirectional Programming with Lenses","year":2015,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}