Three Complementary Approaches to Bidirectional Programming

DOI10.1007/978-3-642-32202-0_1zbMath1374.68103OpenAlexW1555897920MaRDI QIDQ4649378

Janis Voigtländer, Kazutaka Matsuda, Nate Foster

Publication date: 21 November 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32202-0_1

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (4)

Reflections on Monadic Lenses ⋮ Formalizing semantic bidirectionalization and extensions with dependent types ⋮ A Tangled Web of 12 Lens Laws ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization

Uses Software

• biXid

This page was built for publication: Three Complementary Approaches to Bidirectional Programming