Composing bidirectional programs monadically

DOI10.1007/978-3-030-17184-1_6zbMath1524.68062arXiv1902.06950MaRDI QIDQ6091302

No author found.

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.06950

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Contract lenses: Reasoning about bidirectional programs via calculation

This page was built for publication: Composing bidirectional programs monadically