Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell

Autor:	Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa
Rok vydání:	2022
Předmět:	Computer Networks and Communications Hardware and Architecture Software Theoretical Computer Science
Zdroj:	New Generation Computing. 40:481-506
ISSN:	1882-7055 0288-3635
DOI:	10.1007/s00354-022-00177-z
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fe4afa77147ea1e352ea670ca1c2d08a https://doi.org/10.1007/s00354-022-00177-z Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.