Generic recursive lens combinators and their calculation laws

Autor:	Ruifeng Xie, Zhenjiang Hu
Rok vydání:	2022
Předmět:	General Computer Science Theoretical Computer Science
Zdroj:	Theoretical Computer Science. 913:113-137
ISSN:	0304-3975
DOI:	10.1016/j.tcs.2022.02.019
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fc8c14027f96109e13db3ccd924b9e6f https://doi.org/10.1016/j.tcs.2022.02.019 Zobrazit plný text záznamu Full Text from ScienceDirect