Generic recursive lens combinators and their calculation laws

•We provide a set of generic recursive lens combinators for constructing bidirectional programs.•We extend existing recursive lens combinators to support contract lenses.•We provide various calculation laws for reasoning about contract lenses.•We define new contract-lens combinators for upwards and...

Full description

Bibliographic Details

Published in:	Theoretical computer science Vol. 913; pp. 113 - 137
Main Authors:	Xie, Ruifeng, Hu, Zhenjiang
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 20.04.2022
Subjects:	Bidirectional transformations Program calculation Programming language theory Bidirectional transformations Programming language theory Program calculation
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!