Crossmark

Non-linear Pattern Matching with Backtracking for Non-free Data Types

Crossref DOI link: https://doi.org/10.1007/978-3-030-02768-1_1

Published Online: 2018-10-22

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Egi, Satoshi

Nishiwaki, Yuichi
License Information

Text and Data Mining valid from 2018-01-01
More Information

Conference Information

Conference Acronym: APLAS

Conference Name: Asian Symposium on Programming Languages and Systems

Conference City: Wellington

Conference Country: New Zealand

Conference Year: 2018

Conference Start Date: 2 December 2018

Conference End Date: 6 December 2018

Conference Number: 16

Conference ID: aplas2018

Conference URL: http://aplas2018.org/