Bidirectionalization for free! (Pearl)

DOI10.1145/1480881.1480904zbMath1315.68059OpenAlexW2024951218MaRDI QIDQ5261515

Janis Voigtländer

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480904

zbMATH Keywords

Haskellprogram transformationrelational parametricitygeneric programmingbidirectionalizationfree theoremsview-update problem

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 (6)

Generic recursive lens combinators and their calculation laws ⋮ Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Contract lenses: Reasoning about bidirectional programs via calculation ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization

This page was built for publication: Bidirectionalization for free! (Pearl)