Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell
Crossref DOI link: https://doi.org/10.1007/s00354-022-00177-z
Published Online: 2022-07-21
Published Print: 2022-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Egi, Satoshi http://orcid.org/0000-0002-1003-6846
Kawata, Akira
Kori, Mayuko
Ogawa, Hiromi
Text and Data Mining valid from 2022-07-01
Version of Record valid from 2022-07-01
Article History
Received: 8 August 2021
Accepted: 25 May 2022
First Online: 21 July 2022
Declarations
:
: The authors declare that they have no conflict of interest.