Applicative bidirectional programming with lenses

DOI10.1145/2784731.2784750zbMath1360.68335OpenAlexW2092546644MaRDI QIDQ2981943

Meng Wang, Kazutaka Matsuda

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/49084/7/icfp15.pdf

zbMATH Keywords

Haskellfunctional programmingbidirectional programminglensbidirectionalizationfree theorem

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Contract lenses: Reasoning about bidirectional programs via calculation ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches

Uses Software

• Haskell

This page was built for publication: Applicative bidirectional programming with lenses