Proceedings Ninth Workshop on Mathematically Structured Functional Programming

Autor:	Jeremy Gibbons, Max S. New
Rok vydání:	2022
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 360
ISSN:	2075-2180
DOI:	10.4204/eptcs.360.0
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2afabca5963c4a8fac1c48ffab111df3 https://doi.org/10.4204/eptcs.360.0 Zobrazit plný text záznamu